From: Birger Skogeng Pedersen Date: Wed, 04 Sep 2019 05:58:17 GMT Subject: Re: [PATCH] Add hotkey to toggle "Amend Last Commit" radio selector Message-ID: Hi Pratyush, So how does this work? Should I email the patch that Bert has created? Or is it okay that it just remains on Github. (Considering the git mail archives) Birger