Re: github mirror of lilypond?

[Erlend Aasland]

> On 19 Jan 2020, at 08:41, Han-Wen Nienhuys <address@hidden> wrote:
> 
> On Sun, Jan 19, 2020 at 7:21 AM Werner LEMBERG <address@hidden> wrote:
>>> As it stands, GitLab would probably be a more viable candidate to
>>> look at than GitHub.
>> 
>> I agree.  IMHO, the main repository should stay at Savannah, though.
> 
> I strongly disagree with this.

I do too.

> If we are serious about code review (and it seems that we are), the
> code review has to be integrated with the git hosting system. With the
> current setup, there needs to be infrastructure that takes a patch for
> review, applies it to source tree, runs tests, and then reports back.
> On submission, something has to apply the patch, and push the result
> to the git master branch.

Yes!

E

> I don't how this done today with LilyPond (manually?). Doing this
> manually is tedious and error-prone busywork. If it is automated, it
> requires infrastructure that needs maintenance, and we have too few
> developers anyway.
> 
> Also, in practice, if you visit the lilypond website, or its savannah
> page, one cannot find the in-progress patches that others are working
> on and you cannot find its bug reports.  By contrast, with Gerrit or
> Github, you could go to
> 
>  https://review.gerrithub.io/q/project:lilypond%252Flilypond+status:open
> 
> or
> 
> https://github.com/lilypond/lilypond/pulls
> 
> and see what is happening with the project.
> 
> --
> Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen
>