Have git verify the repository#40

theory wants to merge 1 commit intoPGBuildFarm:mainPGBuildFarm/client-code:mainfrom

theory:git-check-dirtheory/client-code:git-check-dirCopy head branch name to clipboard