On Sep 1, 2022, at 14:54, Jonas Hahnfeld via Discussions on LilyPond development <lilypond-devel@gnu.org> wrote: > > Hi all, > > it's been 2 years now that development has moved to GitLab. In the very > beginning, we agreed to keep existing branches on Savannah, but I'd > like to revisit that decision and propose that we make it a mirror of > only the master and stable/* branches, just as GitHub is. The migrated > branches continue to be available on GitLab. > > However, I'd like to also propose to delete some of these branches > (both on Savannah *and* GitLab) that don't serve a purpose anymore:
I don't have a strong opinion. — Dan