Hi, On Tue, 24 Sep 2019, Pratyush Yadav wrote: > On 23/09/19 09:35PM, Johannes Schindelin wrote: > > Hi, > > > > On Wed, 18 Sep 2019, Junio C Hamano wrote: > > > > > We have a new maintainer for git-gui now. Thanks Pratyush for > > > volunteering. > > > > Excellent! > > > > I opened PRs at https://github.com/prati0100/git-gui/pulls. Pratyush, do > > you accept contributions in this form, or should I do anything > > differently? > > I prefer email. Also, please Cc this list so other people interested in > git-gui can take a look. I did so. Since mailing list-centric workflow is cumbersome for me, I used GitGitGadget (I had to work a bit to allow for that, and you are Cc:ed manually, that bit is not automated, I hope that other contributors implement that in https://github.com/gitgitgadget/gitgitgadget if they want that). Ciao, Johannes
