git push: Interpret $GIT_DIR/branches in a Cogito compatible way