--- a/Admin/Release/CHECKLIST Sat Jan 19 07:19:16 2019 +0000
+++ b/Admin/Release/CHECKLIST Sat Jan 19 16:53:18 2019 +0100
@@ -45,7 +45,7 @@
- diff NEWS wrt. last official release, which is read-only;
-- update https://bitbucket.org/isabelle_project/isabelle-website
+- update https://isabelle.sketis.net/repos/isabelle-website
- check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
@@ -96,14 +96,6 @@
https://docs.docker.com/docker-cloud/builds/push-images
-Final release stage
-===================
-
-- various .hg/hgrc files:
- default = http://bitbucket.org/isabelle_project/isabelle-release
- default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
-
-
Post-release
============