Email Gateway (Nov 05 2022 at 14:18): Email Gateway (Nov 05 2022 at 14:18):From: Makarius <makarius@sketis.net>
One guy on the Mercurial mailing list has pointed to Fossil SCM
https://fossil-scm.org
This looks like a pretty good successor of git/github, see also
https://fossil-scm.org/home/doc/trunk/www/fossil-v-git.wiki
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://sqlite.org/codeofethics.html
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@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Nov 05 2022 at 21:36):From: "Urban, Christian" <christian.urban@kcl.ac.uk>
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
Last updated: Apr 27 2024 at 01:05 UTC