[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: github mirror of lilypond?
From: |
Han-Wen Nienhuys |
Subject: |
Re: github mirror of lilypond? |
Date: |
Sun, 19 Jan 2020 08:41:35 +0100 |
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.
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.
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?, Han-Wen Nienhuys, 2020/01/18
- 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 <=
- Re: github mirror of lilypond?, Erlend Aasland, 2020/01/19
- 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