[isabelle-dev] Fossil SCM (SQLite)

[Urban, Christian]

Yeah, I am all for it once they have replicated the github classroom feature. Github customer service is just a nightmare. ;o)

Sorry for being off-topic but this link is gratefully received.
Christian
________________________________
From: isabelle-dev <isabelle-dev-bounces at mailman46.in.tum.de> on behalf of Makarius <makarius at sketis.net>
Sent: 05 November 2022 14:18
To: isabelle-dev <isabelle-dev at in.tum.de>
Subject: [isabelle-dev] Fossil SCM (SQLite)

One guy on the Mercurial mailing list has pointed to Fossil SCM
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffossil-scm.org%2F&data=05%7C01%7Cchristian.urban%40kcl.ac.uk%7Cbc86726b31cd4ee4db3b08dabf38abc2%7C8370cf1416f34c16b83c724071654356%7C0%7C0%7C638032547359376269%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=07%2FzMoDqBEcMcOC6SG4l6RuRcaLSQ6lTRB%2BI3UHtThY%3D&reserved=0

This looks like a pretty good successor of git/github, see also
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffossil-scm.org%2Fhome%2Fdoc%2Ftrunk%2Fwww%2Ffossil-v-git.wiki&data=05%7C01%7Cchristian.urban%40kcl.ac.uk%7Cbc86726b31cd4ee4db3b08dabf38abc2%7C8370cf1416f34c16b83c724071654356%7C0%7C0%7C638032547359376269%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=FFKq3f4gve0X%2FyTD2TvB%2BmiSJCL0BicSQyBGHTyhwHA%3D&reserved=0

Fossil already includes project management (tracker, forum etc.) in its
consistent, concise, no-nonsense, non-addictive software design.

The developers appear to be from the SQLite group, who have proven great humor
and good judgement before, e.g. see https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsqlite.org%2Fcodeofethics.html&data=05%7C01%7Cchristian.urban%40kcl.ac.uk%7Cbc86726b31cd4ee4db3b08dabf38abc2%7C8370cf1416f34c16b83c724071654356%7C0%7C0%7C638032547359376269%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=OLkMX%2BDKnaxuaeTFzPsQgimst%2B%2BjFREO%2BF4eVu%2FjqBs%3D&reserved=0


It remains to be seen if/what we can make of that, without actually changing
our own history of sources.

E.g. we could try to convert our mailing list histories into it, and maybe
discontinue Mailman (and the strange Sympa) eventually.


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-dev at in.tum.de
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmailman46.in.tum.de%2Fmailman%2Flistinfo%2Fisabelle-dev&data=05%7C01%7Cchristian.urban%40kcl.ac.uk%7Cbc86726b31cd4ee4db3b08dabf38abc2%7C8370cf1416f34c16b83c724071654356%7C0%7C0%7C638032547359376269%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=BV93J2QssLp5D78m48%2F8mIV1iISaxy2Dpy454WqFSO8%3D&reserved=0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20221105/1b1b8356/attachment.htm>