<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Yeah, I am all for it once they have replicated the github classroom feature. Github customer service is just a nightmare. ;o)</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Sorry for being off-topic but this link is gratefully received.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Christian</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> isabelle-dev <isabelle-dev-bounces@mailman46.in.tum.de> on behalf of Makarius <makarius@sketis.net><br>
<b>Sent:</b> 05 November 2022 14:18<br>
<b>To:</b> isabelle-dev <isabelle-dev@in.tum.de><br>
<b>Subject:</b> [isabelle-dev] Fossil SCM (SQLite)</font>
<div> </div>
</div>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">
<div class="PlainText">One guy on the Mercurial mailing list has pointed to Fossil SCM
<br>
<a href="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">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</a><br>
<br>
This looks like a pretty good successor of git/github, see also <br>
<a href="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">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</a><br>
<br>
Fossil already includes project management (tracker, forum etc.) in its <br>
consistent, concise, no-nonsense, non-addictive software design.<br>
<br>
The developers appear to be from the SQLite group, who have proven great humor <br>
and good judgement before, e.g. see <a href="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">
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</a><br>
<br>
<br>
It remains to be seen if/what we can make of that, without actually changing <br>
our own history of sources.<br>
<br>
E.g. we could try to convert our mailing list histories into it, and maybe <br>
discontinue Mailman (and the strange Sympa) eventually.<br>
<br>
<br>
Makarius<br>
_______________________________________________<br>
isabelle-dev mailing list<br>
isabelle-dev@in.tum.de<br>
<a href="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">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</a><br>
</div>
</span></font></div>
</body>
</html>