[mro_name]

Who would really rely on a single, external, free, no-guarantees service and not have redundancy to tolerate some hours of downtime?

Make github a mirror (at least source-wise) and you can benefit from it's outreach without being held hostage. Am happy with that e.g. https://notabug.org/mro/ShaarliOS/src/master/doap.rdf Inspired by https://indieweb.org/POSSE

[bamboozled]

A lot of people pay for Github?

[mro_name]

seemingly not enough :-)