git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Git-Gui: Can the "push" button optionally be removed/disabled/hidden ?

From
Junio C Hamano <gitster@pobox.com>
Date
Jan 27, 2022, 19:06 UTC
Message-ID
<xmqq8rv12e2s.fsf@gitster.g>
In-Reply-To
<CAFgk54=iKT=vjkDT8-QF15LE3B-6BVCWUK5d5_J4SmYPLNuB1w@mail.gmail.com>
Mirco Babin <mirco.babin@gmail.com> writes:
Show 5 quoted lines
> 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.
Previous: Mirco Babin
Message 2 of 2 in “Git-Gui: Can the "push" button optionally be removed/disabled/hidden ?”
  1. Mirco BabinJan 27, 2022
  2. Junio C HamanoJan 27, 2022

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.