git-workdir.sh to support branch naming of the form: origin/master