Developer branches

[Jonathan Wakely]

On Wed, 15 Sept 2021 at 21:12, Paul Koning via Gcc <gcc@gcc.gnu.org> wrote:
>
> Some questions about developer branches:
>
> 1. Who may create one?  Who may write to them?
> 2. Are they required to be listed in https://gcc.gnu.org/git.html ?  I notice it mentioned a whole pile of them, most of which don't seem to exist.

Which ones? All the one I looked for exist.

Some of them (like gcc-4_4-plugins and pph) should really be moved to
refs/dead/heads