This patch reverts one of my earlier patches (squashed in #2710) to
reduce bandwidth requirements of git clone, in this particular case we
are checking out a specific hash rather than a tag or branch name. The
--branch option to git clone permits tags or branches but does not
permit a specific hash.