Karl Palmskog (Jun 20 2020 at 11:23): Karl Palmskog (Jun 20 2020 at 11:23):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.
Karl Palmskog (Jun 20 2020 at 11:25):The Isabelle hosting environment using Mercurial and Phabricator here: https://isabelle-dev.sketis.net/
Karl Palmskog (Jun 20 2020 at 11:28):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: Apr 20 2024 at 13:01 UTC