Fork of isabelle-dev vs. isabelle-release

[Makarius]

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