Hi all, while deleting the translation branch, I noticed that quite a number of branches re-appeared on GitHub, here's the log of the git pull I just did:
From github.com:lilypond/lilypond * [new branch] annotate-slur -> github/annotate-slur * [new branch] broken-hairpin-heights -> github/broken-hairpin-heights * [new branch] def/urs/update-copyright -> github/def/urs/update-copyright * [new branch] dev/midi2ly -> github/dev/midi2ly * [new branch] dev/urs/beaming-pattern -> github/dev/urs/beaming-pattern * [new branch] dev/urs/css-fonts -> github/dev/urs/css-fonts * [new branch] dev/urs/doc/remove-piano-staves -> github/dev/urs/doc/remove-piano-staves * [new branch] dev/urs/font-exists -> github/dev/urs/font-exists * [new branch] dev/urs/font-handling -> github/dev/urs/font-handling * [new branch] dev/urs/font-selection -> github/dev/urs/font-selection * [new branch] dev/urs/gsoc-LO-mentor -> github/dev/urs/gsoc-LO-mentor * [new branch] dev/urs/gsoc-musicxml -> github/dev/urs/gsoc-musicxml * [new branch] dev/urs/lily-ver-predicates -> github/dev/urs/lily-ver-predicates * [new branch] dev/urs/subdivide-beams-bak -> github/dev/urs/subdivide-beams-bak * [new branch] dev/urs/version-compare-doc -> github/dev/urs/version-compare-doc * [new branch] figure-accidentals -> github/figure-accidentals * [new branch] fix-finnendahl -> github/fix-finnendahl * [new branch] gsoc-page -> github/gsoc-page * [new branch] gsoc/add-community-mentor -> github/gsoc/add-community-mentor * [new branch] gsoc/style-sheet-project -> github/gsoc/style-sheet-project * [new branch] gsoc/update -> github/gsoc/update * [new branch] janek/restructure-web -> github/janek/restructure-web 033c304ce0..953b5cd385 master -> github/master * [new branch] partcombiner -> github/partcombiner d279e62e52..d61370818d release/unstable -> github/release/unstable * [new branch] remove-news -> github/remove-news 6b1c4547c0..5ab319a58d stable/2.22 -> github/stable/2.22 * [new branch] staging -> github/staging * [new branch] tmp -> github/tmp * [new branch] universal-font -> github/universal-font * [new branch] urs/accidentalstyle -> github/urs/accidentalstyle * [new branch] urs/images -> github/urs/images * [new branch] urs/restructure-web -> github/urs/restructure-web * [new branch] urs/text-input -> github/urs/text-input * [new branch] urs/web-download -> github/urs/web-download As you can see from the update revision of master, I previously pulled in November, so the branches were created in the time since then. I'm very tempted to just delete them again since we agreed that GitHub should only mirror "protected branches" from GitLab (meaning master, release/unstable and stable/*), but obviously that won't help if somebody just recreates them (including staging which we don't have anymore since than more one and a half years!)... Jonas
signature.asc
Description: This is a digitally signed message part
