git-clone: check out "master" by default.