Re: maintaining lilypond git repository on github

[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 git@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 because AFAICT git push --mirror will also push
> > > local branches.
> > 
> > I don't do that.  I have a separate clone for that (created with `git
> > clone --mirror`).
> > 
> > > But it doesn't really matter if everybody is ok with me removing
> > > them once I get access.
> 
> What's your Github user name?
> I can give you access but couldn't find your account.

@hahnjo, as on GitLab (and most other services).

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