Some interesting observations about project hosting / management / etc. from the Isabelle perspective by Makarius here: https://files.sketis.net/Isabelle_Workshop_2020/Isabelle_2020_paper_7.pdf
He has previously spoken out about Bitbucket's closing here: https://sketis.net/2020/selfhosting-of-mercurial-repositories
However, in my mind, "self-hosting" seems to be quite vulnerable still, in that there will be more concentration of expertise/management among those who actually deal with infrastructure vs. regular users. The bus factor probably becomes higher.
The Isabelle hosting environment using Mercurial and Phabricator here: https://isabelle-dev.sketis.net/
I could definitely see the possibility of completely community-run distributed infrastructure if GitHub becomes unbearable for some reason, e.g., several Git+Phabricator instances
Last updated: Feb 05 2023 at 13:02 UTC