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

Reply via email to