Re: maintaining lilypond git repository on github

2020-08-24 Thread Jonas Hahnfeld
Am Mittwoch, den 19.08.2020, 19:42 +0200 schrieb Jonas Hahnfeld: > Am Dienstag, den 18.08.2020, 20:55 +0200 schrieb Jonas Hahnfeld: > > 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'd > > propose we del

Re: maintaining lilypond git repository on github

2020-08-19 Thread Jonas Hahnfeld
Am Dienstag, den 18.08.2020, 20:55 +0200 schrieb Jonas Hahnfeld: > Am Dienstag, den 18.08.2020, 20:28 +0200 schrieb 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 progr

Re: maintaining lilypond git repository on github

2020-08-19 Thread Jonas Hahnfeld
Am Mittwoch, den 19.08.2020, 17:29 +0200 schrieb Urs Liska: > Am Mittwoch, den 19.08.2020, 09:24 +0200 schrieb Werner LEMBERG: > > > > git remote update > > > > git push --mirror g...@github.com:lilypond/lilypond.git > > > > > > Definitely add --prune to "git remote update" to remove branches

Re: maintaining lilypond git repository on github

2020-08-19 Thread Urs Liska
Am Mittwoch, den 19.08.2020, 09:24 +0200 schrieb Werner LEMBERG: > >> git remote update > >> git push --mirror g...@github.com:lilypond/lilypond.git > > > > Definitely add --prune to "git remote update" to remove branches > > that ceased to exist on the remote. > > OK, done. > > > In general

Re: maintaining lilypond git repository on github

2020-08-19 Thread Werner LEMBERG
>> git remote update >> git push --mirror g...@github.com:lilypond/lilypond.git > > Definitely add --prune to "git remote update" to remove branches > that ceased to exist on the remote. OK, done. > In general, I would not run the mirroring from a real working copy > of the repository becaus

Re: maintaining lilypond git repository on github

2020-08-18 Thread Jonas Hahnfeld
Am Mittwoch, den 19.08.2020, 06:55 +0200 schrieb 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

Re: maintaining lilypond git repository on github

2020-08-18 Thread 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.

Re: maintaining lilypond git repository on github

2020-08-18 Thread Jonas Hahnfeld
Am Dienstag, den 18.08.2020, 20:28 +0200 schrieb 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 k

maintaining lilypond git repository on github

2020-08-18 Thread 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? I've just updated it manually. Werner