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
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
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 co
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?
Ciao,
4 matches
Mail list logo