Fixes #381: git branch with / in name causes failure