git-gui: handle bare repos correctly