git-gui: Better handling of detached HEAD