Am Samstag, den 20.06.2020, 13:55 +0100 schrieb Phil Holmes: > OK. First question. Should I switch completely to GitLab for doing all the > updating of news, VERSION, etc? That is - pretty much stop using Savannah > for anything except GUB builds using my GUB user.
Yes, that would be best. If pushing to release/unstable, the changes are automatically mirrored to Savannah. For the record, converting an existing git clone is done via: $ git remote set-url origin g...@gitlab.com:lilypond/lilypond.git Jonas
signature.asc
Description: This is a digitally signed message part