docs: Put "cross-repo" optional step before SCIP index generation#742

antonsviridov-src merged 1 commit intomainsourcegraph/scip-java:mainfrom

manual-configuration-docs-rearrangesourcegraph/scip-java:manual-configuration-docs-rearrangeCopy head branch name to clipboard