Dear Git Gui maintainers, Is it possible to remove/hide/disable the push button via a commandline parameter ? And if not currently possible, could such functionality please be added ? I have created an issue #73 - https://github.com/prati0100/git-gui/issues/73 with extensive information. But after reading the documentation on github it seems this mailinglist should be used. Kind Regards, Mirco Babin
