Re: git-gui contributions, was Re: What's cooking in git.git (Sep 2019, #02; Wed, 18)

From: Pratyush Yadav <me@yadavpratyush.com>
Date: Sep 26, 2019, 22:41 UTC
Message-ID: <20190926224151.xoezhpsjwrgy5jg4@yadavpratyush.com>
In-Reply-To: <nycvar.QRO.7.76.6.1909262042590.15067@tvgsbejvaqbjf.bet>

On 26/09/19 08:44PM, Johannes Schindelin wrote:

Show 28 quoted lines

> 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