From: Mirco Babin <mirco.babin@gmail.com>
Date: Thu, 27 Jan 2022 12:06:53 GMT
Subject: Git-Gui: Can the "push" button optionally be removed/disabled/hidden ?
Message-ID: <CAFgk54=iKT=vjkDT8-QF15LE3B-6BVCWUK5d5_J4SmYPLNuB1w@mail.gmail.com>

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