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

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

From
MBMirco Babin <mirco.babin@gmail.com>
Date
Jan 27, 2022, 12:06 UTC
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

Next: Junio C Hamano
Message 1 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.