Re: github mirror of lilypond?

[David Kastrup]

Erlend Aasland <address@hidden> writes:

> Yes, I’m open for both GitHub, GitLab, Gitea, and similar «complete
> development environments» (or whatever it’s called.) I’ve been working
> in GitHub the last years, and it’s so nice to have a decent
> bugtracker, a great review tool, a great git web interface, and more,
> all in one place. It really saves development time and gets rid of a
> lot of developer frustrations.

GitHub is putting our eggs in Microsoft's basket.  Not too enthused
about that idea.  If I remember correctly, GitLab had some size
restrictions that clearly are not going to fly with LilyPond.

-- 
David Kastrup