trying to short-circuit earlier in git push hook