diff -r 1fb204399d8d -r 9c6651cd6141 Admin/Release/CHECKLIST
--- 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
 ============