use 'old' git command syntax to change to different branch to be able to use old git versions
Merge branch 'master' of github.com:gridaphobe/CRL