git-gui: Allow forced push into remote repository