* Git-Gui: Can the "push" button optionally be removed/disabled/hidden ?
@ 2022-01-27 12:06 Mirco Babin
2022-01-27 19:06 ` Junio C Hamano
0 siblings, 1 reply; 2+ messages in thread
From: Mirco Babin @ 2022-01-27 12:06 UTC (permalink / raw)
To: git
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Git-Gui: Can the "push" button optionally be removed/disabled/hidden ?
2022-01-27 12:06 Git-Gui: Can the "push" button optionally be removed/disabled/hidden ? Mirco Babin
@ 2022-01-27 19:06 ` Junio C Hamano
0 siblings, 0 replies; 2+ messages in thread
From: Junio C Hamano @ 2022-01-27 19:06 UTC (permalink / raw)
To: Mirco Babin; +Cc: git
Mirco Babin <mirco.babin@gmail.com> writes:
> 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 ?
Just a comment from sideline; I am not involved or invested in
git-gui that much.
Why should "push" be so special? Should other operations like
"pull", "stage", etc. that makes changes also optionally be hidden?
Where does this stop?
If "push" is not doing something useful for you, would there be a
way to make it more useful by allowing options that are not passed
to the underlying "git push" to be passed?
Thanks.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-01-27 19:06 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-01-27 12:06 Git-Gui: Can the "push" button optionally be removed/disabled/hidden ? Mirco Babin
2022-01-27 19:06 ` Junio C Hamano
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).