close #22: Do a checkout of the branch after a git clone