Email Gateway (Nov 28 2025 at 17:18): Email Gateway (Nov 28 2025 at 17:18):From: Makarius <makarius@sketis.net>
As already explained on the mail thread "Towards Isabelle2025-1-RC3 and AFP
release", the fork of isabelle-dev vs. isabelle-release has happened 2 days ago:
changeset: 83654:52cd371a36dd
user: wenzelm
date: Wed Nov 26 20:00:47 2025 +0100
files: Admin/Mercurial/mercurial-6.1.4-hgweb.patch
description:
adhoc patch for hgweb.wsgi: provide "hg clone" via HTTP without suffering from
Denial-of-Service attacks on website content (e.g. by Non-Intelligent Agents);
This means:
- pushes to isabelle-dev after that change are for the next release,
presumably something like "Isabelle2026 (October 2026)"
- until afp-devel becomes afp-2025-1 next week, changes on isabelle-dev
must not break AFP
- changes that really need to be on the current release need to be sent to
me via email (using "hg export" or "hg bundle"), and not pushed onto
isabelle-dev at the same time (that produces ugly clones in the history that
are difficult to discern later on)
- the release process continues here:
https://isabelle.sketis.net/repos/isabelle-release -- that is only the
"wireprotocol" for "hg clone" or "hg pull", not a web interface anymore.
Makarius
Last updated: Dec 10 2025 at 12:50 UTC