On 26/09/19 08:44PM, Johannes Schindelin wrote: > 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).
Sorry to hear that you had to go through so much trouble to send these patches. I personally have the opposite taste. I don't like GitHub's workflow and prefer an email based one. I don't mind setting aside my differences in preferences, but there is another more important reason I asked you to email the patches: most of the people involved and interested in git-gui development watch this list, and not the "Pull Requests" section on my GitHub. Either way, thanks for the patches :). -- Regards, Pratyush Yadav
