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

[Johannes Schindelin]

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,
Johannes