Feature request: Option to remove push button

[surjikal]

There's a (closed) PR about hiding the "Push" button, in the old repo. It's a neat feature, I've been using it for a year or two.

Here's why @MircoBabin created this patch:

Because the "push" button is so close to the "commit" button, I frequently find myself pushing the wrong button. Of course the "push" button displays a window asking for confirmation. And I can cancel that then. But on a bad day in a hurry, I don't read and just push go ahead. Resulting in the merge commit I did not want.

---

Here's the PR:
prati0100/git-gui#74

Considering merging it, if you like!

I found it useful and figured it might be worth bringing it up here, just in case others find it useful, even if it doesn't get merged.

[j6t]

I don't feel very compelled to have this patch. If the only reason is that you push it accidentally and only rarely so, then the subsequent dialog is sufficient safety net that nothing bad happens. The commit message isn't erased, either, so nothing is lost.

BTW, I suggest you get used to using hotkeys. That for Commit is Ctrl-Return.