From: Birger Skogeng Pedersen <birger.sp@gmail.com>
Date: Wed, 11 Sep 2019 10:27:30 GMT
Subject: Re: feature request, git-gui: add hotkey to toggle amend/new
Message-ID: <CAGr--=Jdj+kJmV7z3vhYW+s129+0+KgbNYw8NFPmSASRYMTdbg@mail.gmail.com>
In-Reply-To: <20190910085446.GB32239@gmail.com>

Hi Pratyush,

I'm hoping this will be merged, even without changing the radio
selectors to a checkbox(?). The patch from Bert resolves the issue I
raised about wanting the hotkey.
What do you think?

Birger