Make syntactic worker more like precise worker#540

antonsviridov-src wants to merge 2 commits intomainsourcegraph/deploy-sourcegraph-helm:mainfrom

syntactic-worker-cleanupsourcegraph/deploy-sourcegraph-helm:syntactic-worker-cleanupCopy head branch name to clipboard