Noah Sussman: use `git ls-remote origin master` for faster git polling (cribbed from the Jenkins git plugin)