Support for the Isabelle release process, see also the [[https://isabelle-dev.sketis.net/phame/blog/view/2|blog]].
Main repository fork (read-only): https://isabelle.sketis.net/repos/isabelle-release
Isabelle releases are time-based: every 8-10 months the repository state is consolidated into a stable version that can serve end-users for a few years. That process typically takes 4-8 weeks, with 3-5 public release candidates. After a release is finalized, there are no further updates nor "patches'' to it.
When the release train is about to depart, only finished and consolidated features will make it on the trip. Anything that is not properly working yet will be postponed to a future release (deactivated or just not announced).