the default branch is
main : https://github.com/dotdevelop/dotdevelop/tree/main

branches in
https://github.com/dotdevelop/dotdevelop and, inherited from https://github.com/mono/monodevelop
are confusing

the discussion is:
a) should we work in dotdevelop repos directly (like the mono crew and others do)
or
b) fork it in developers branches
and merge with pull requests?

if b)
who does the work of merging?

how are branches named?
currently with dotdevelop-prefix to find them easier.