Be more graceful about cross-repo navigation error#660

keynmol merged 2 commits into

mainscip-code/scip-java:mainfrom

fix-gradle-publications-error-messagesscip-code/scip-java:fix-gradle-publications-error-messagesCopy head branch name to clipboard