Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Fossil SCM (SQLite)


view this post on Zulip 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

view this post on Zulip 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: Mar 04 2024 at 10:08 UTC