[isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository

[Makarius]

On 18/04/2024 16:12, Makarius wrote:
> 
> I've finished that now and the isabelle-dev repository is already in 
> post-release mode: see 12ce957231e0 "after fork-point". This means that any 
> pushes to isabelle-dev are no longer for Isabelle2024, but the next release 
> after it. Anything for Isabelle2024 needs to be sent to me via e-mail --- with 
> a convincing argumentation why it needs to be in that release --- see also 
> https://isabelle.sketis.net/repos/isabelle-release

It should be clear that changesets intended for Isabelle2024 should be sent 
*exclusively* to me, and not pushed onto the post-release isabelle-dev repository.

When the isabelle-release repository is eventually merged back onto 
isabelle-dev that will cause ugly effects due to self-conflicts of duplicate 
copies. It will ultimately work out, but is like pouring used motor oil onto a 
white shirt.

Isabelle history is meant to be readable and understandable later, unlike the 
average project on Github.


	Makarius