{"thread":{"id":"57321","subject":"Git-Gui: Can the \"push\" button optionally be removed/disabled/hidden ?","startedAt":"2022-01-27T12:07:06Z","lastAt":"2022-01-27T19:06:41Z","messageCount":2,"participants":["Mirco Babin","Junio C Hamano"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"447074","messageId":"CAFgk54=iKT=vjkDT8-QF15LE3B-6BVCWUK5d5_J4SmYPLNuB1w@mail.gmail.com","threadId":"57321","inReplyTo":null,"subject":"Git-Gui: Can the \"push\" button optionally be removed/disabled/hidden ?","fromName":"Mirco Babin","fromEmail":"mirco.babin@gmail.com","sentAt":"2022-01-27T12:06:53Z","receivedAt":"2022-01-27T12:07:06Z","isPatch":false,"sender":{"key":"mirco.babin@gmail.com","avatar":null},"body":"Dear Git Gui maintainers,\n\nIs it possible to remove/hide/disable the push button via a\ncommandline parameter ? And if not currently possible, could such\nfunctionality please be added ?\n\nI have created an issue #73 -\nhttps://github.com/prati0100/git-gui/issues/73 with extensive\ninformation. But after reading the documentation on github it seems\nthis mailinglist should be used.\n\nKind Regards,\nMirco Babin\n"},{"id":"447116","messageId":"xmqq8rv12e2s.fsf@gitster.g","threadId":"57321","inReplyTo":"CAFgk54=iKT=vjkDT8-QF15LE3B-6BVCWUK5d5_J4SmYPLNuB1w@mail.gmail.com","subject":"Re: Git-Gui: Can the \"push\" button optionally be removed/disabled/hidden ?","fromName":"Junio C Hamano","fromEmail":"gitster@pobox.com","sentAt":"2022-01-27T19:06:35Z","receivedAt":"2022-01-27T19:06:41Z","isPatch":false,"sender":{"key":"gitster@pobox.com","avatar":"https://avatars.githubusercontent.com/u/54884?v=4"},"body":"Mirco Babin <mirco.babin@gmail.com> writes:\n\n> Dear Git Gui maintainers,\n>\n> Is it possible to remove/hide/disable the push button via a\n> commandline parameter ? And if not currently possible, could such\n> functionality please be added ?\n\nJust a comment from sideline; I am not involved or invested in\ngit-gui that much.\n\nWhy should \"push\" be so special?  Should other operations like\n\"pull\", \"stage\", etc. that makes changes also optionally be hidden?\nWhere does this stop?\n\nIf \"push\" is not doing something useful for you, would there be a\nway to make it more useful by allowing options that are not passed\nto the underlying \"git push\" to be passed?\n\nThanks.\n"}]}