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/*,
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
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/a
