Re: git-gui contributions, was Re: What's cooking in git.git (Sep 2019, #02; Wed, 18)
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
Re: git-gui contributions, was Re: What's cooking in git.git (Sep 2019, #02; Wed, 18)
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
Re: git-gui contributions, was Re: What's cooking in git.git (Sep 2019, #02; Wed, 18)
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. -- Regards, Pratyush Yadav