Re: maintaining lilypond git repository on github

[Werner LEMBERG]

>> IIRC we talked about setting up automatic updates of
>>   
>> https://github.com/lilypond/lilypond
>> 
>> but it seems this is still missing.  Is there any progress?
> 
> If somebody grants me access to the repo, I can easily add a deploy
> key with write access and setup mirroring from GitLab.

I've sent a mail to Janek Warchoł.

>> I've just updated it manually.
> 
> Looks like the previous updates didn't purge removed branches, at
> least there are still a bunch that are neither at Savannah nor
> GitLab.

I simply do

  git remote update
  git push --mirror git@github.com:lilypond/lilypond.git

for manual updating...  Shall I change this incantation?

> I'd propose we delete all but the "protected branches" (GitLab
> terminology; master, translation, stable/*, release/unstable)
> because these are the refs that are going to be mirrored from
> GitLab.

Sounds sensible.


    Werner