c)
We could move everything to https://git.openlilylib.org.
In a way I would prefer c) because:
- it "looks" more natural
- it would move away some stuff from Github
- it would make it more natural to have git hooks process stuff and
deploy the library and/or the documentation to other locations on
openlilylib.org
But there are also drawbacks to c) because it is hosted on my own
(well,
hosted in a data center) server:
- I can guarantee availability to a lesser extent than a big service
provider
- I can't guarantee not to break things or lose everything due to
misconfiguration
- I can't guarantee that I will always have that kind of server or
that
I'll even be around in the LilyPond community.
- I don't know if there's a smooth transfer path if the latter should
happen.
Therefore I'd like to ask around what you consider an appropriate
approach.