On Wed, 15 Jan 2020, David Malcolm wrote: > The new git server doesn't seem to like such branch names [1], so I'm > now using "devel/analyzer"
Do you plan to also document this in git.html (per the message below you quoted ;-)? > remote: *** Shared development branches should be named devel/*, and > should be documented in https://gcc.gnu.org/git.html . Gerald