On May 3, 2020, at 07:00, Jonas Hahnfeld <hah...@hahnjo.de> wrote: > > As the last two points involve some (short) scripts and I already have > two more for the migration, I'd like to put them into a new repository; > maybe https://gitlab.com/lilypond/infrastructure ? (I think they're > sufficiently orthogonal to LilyPond itself that they deserve their own > place to live.)
Sounds good. A reason to put them with LilyPond would be if you wanted them to be branched and versioned with LilyPond, but I don't see that as important. — Dan