Migrate sourcegraph/scip dependency to scip-code/scip#1281

jupblb merged 1 commit into

mainsourcegraph/src-cli:mainfrom

migrate-scip-dependencysourcegraph/src-cli:migrate-scip-dependencyCopy head branch name to clipboard