Split build/deploy allowing deploy from external PRs#861

kasbah wants to merge 1 commit intomainToposInstitute/CatColab:mainfrom

kb/external-prsToposInstitute/CatColab:kb/external-prsCopy head branch name to clipboard