Description of github.com/git/git, was Re: [PATCH] builtin-commit: re-read file index before launching editor

From

Johannes Schindelin <johannes.schindelin@gmx.de>

Date

Nov 9, 2021, 16:41 UTC

Message-ID

<nycvar.QRO.7.76.6.2111091732040.54@tvgsbejvaqbjf.bet>

In-Reply-To

<pull.1127.git.git.1636423586620.gitgitgadget@gmail.com>

Hi Samuel,

On Tue, 9 Nov 2021, Samuel Yvon via GitGitGadget wrote:

>     As a side note, I do not know who manages the Github Repo but the
>     following description threw me off a little bit:
>
>     Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored.

I would be in favor of changing this description. How about:

	Git Source Code Mirror - Pull Requests can be submitted via GitGitGadget

Thoughts?