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

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to