dist/pull: work with git 1.7 with no `git checkout -B`