Hello everyone!
Problem:
In official repos there are a lot of old development branches. It makes navigation more complicated when you are looking for a branch or tag (in web gui, or autocomplete in console)
Also when forking, there are 2 options: all branches and only main branch (AFAIR)
Suggestions:
- in GitHub, in project settings enable: remove branch after merge feature (and if you want to keep it branch by some reason, in PR there is a button to restore branch). Merge to other branches happens with mergify bot (cherry-picking I suppose)
- remove old branches, which already exist in repo. Maybe at least very old branches.
Other option is to make development to forks, like external contributors doing it. But it will change workflow of current maintainers.
examples: Branches · gazebosim/gz-sim · GitHub Branches · gazebosim/gz-rendering · GitHub
M~