Support for the Isabelle release process.
The next release is presumably **Isabelle2020 (June 2020)**. The hot phase with release candidates will be approximately Apr/May/Jun-2020.
Main repository fork: https://isabelle.sketis.net/repos/isabelle-release