From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 09 Nov 2021 16:41:39 GMT
Subject: Description of github.com/git/git, was Re: [PATCH] builtin-commit: re-read file index before launching editor
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?

Ciao,
Dscho