SourceGraph在D轮融资中募集1.25亿美元资金。（TechCrunch）