From: Pratyush Yadav <me@yadavpratyush.com>
Date: Fri, 13 Sep 2019 20:48:27 +0000 (+0530)
Subject: Merge branch 'bw/amend-checkbutton'
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/acfa495519d7c12cfafe1c0e52fdac40f5e41032?hp=ba41b5b335b00ac1cb277c83b87ebf3c26b670c0

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
---