On 15/01/2020 15:19, David Malcolm wrote:
Although most of the analyzer work is now on master I'm tracking
additional work in a branch (for future features, work that isn't quite
ready yet, etc).
This used to be "dmalcolm/analyzer" on the git mirror.
The new git server doesn't seem to like such branch names [1], so I'm
now using "devel/analyzer"
Dave
[1]
remote: *** Shared development branches should be named devel/*, and
should be documented in https://gcc.gnu.org/git.html .
remote: error: hook declined to update refs/heads/dmalcolm/analyzer
All developers have a personal space in refs/users/<developer>/heads.
Whether branches go there, or in devel/<topic> will depend on the
expected level of community participation in the work.
Personal branches are not pulled by default (users have to add fetch
rules to see them), but all devel branches are in the default pull set.
R.
