git: exit cleanly if the requested branch does not exist