[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: github mirror of lilypond?
From: |
Erlend Aasland |
Subject: |
Re: github mirror of lilypond? |
Date: |
Sun, 19 Jan 2020 10:42:43 +0000 |
> 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
>
- Re: github mirror of lilypond?, (continued)
- Re: github mirror of lilypond?, Jonas Hahnfeld, 2020/01/18
- Re: github mirror of lilypond?, Erlend Aasland, 2020/01/18
- Re: github mirror of lilypond?, David Kastrup, 2020/01/18
- Re: github mirror of lilypond?, Karlin High, 2020/01/18
- Re: github mirror of lilypond?, Jahrme Risner, 2020/01/18
- Re: github mirror of lilypond?, David Kastrup, 2020/01/18
- Re: github mirror of lilypond?, Karlin High, 2020/01/18
- Re: github mirror of lilypond?, Werner LEMBERG, 2020/01/19
- Re: github mirror of lilypond?, Urs Liska, 2020/01/19
- Re: github mirror of lilypond?, Han-Wen Nienhuys, 2020/01/19
- Re: github mirror of lilypond?,
Erlend Aasland <=
- Re: github mirror of lilypond?, pkx166h, 2020/01/19
- Re: github mirror of lilypond?, Han-Wen Nienhuys, 2020/01/19
- Re: github mirror of lilypond?, David Kastrup, 2020/01/20
- Re: github mirror of lilypond?, Han-Wen Nienhuys, 2020/01/19
- Re: github mirror of lilypond?, Carl Sorensen, 2020/01/19
- Re: github mirror of lilypond?, David Kastrup, 2020/01/20
- Re: github mirror of lilypond?, Erlend Aasland, 2020/01/19
- Re: github mirror of lilypond?, David Kastrup, 2020/01/19
- Re: github mirror of lilypond?, Erlend Aasland, 2020/01/19
- Re: github mirror of lilypond?, Erlend Aasland, 2020/01/19