Merge branch 'bw/amend-checkbutton'
authorPratyush Yadav <me@yadavpratyush.com>
Fri, 13 Sep 2019 20:48:27 +0000 (02:18 +0530)
committerPratyush Yadav <me@yadavpratyush.com>
Fri, 13 Sep 2019 20:48:27 +0000 (02:18 +0530)
commitacfa495519d7c12cfafe1c0e52fdac40f5e41032
treed5207a238fb0bbf650b08519afac0f3b0bb0bfee
parentc77abf04604d74859f3ec81c44cd4ef2b084ebde
parentba41b5b335b00ac1cb277c83b87ebf3c26b670c0
Merge branch 'bw/amend-checkbutton'

Change the amend setting from two radio buttons ("New commit" and "Amend
commit") to a single checkbutton. The two radio buttons can never be
selected together because they are exactly the opposite of each other,
so it makes sense to change it to a single checkbutton.

* bw/amend-checkbutton:
  git-gui: convert new/amend commit radiobutton to checkbutton