# HG changeset patch
# User wenzelm
# Date 1547913198 -3600
# Node ID 9c6651cd614165fd11c0cf048b345148ba585f9c
# Parent  1fb204399d8d04aa2a773d4bfd493ebd3032c32a
clarified URLs: prefer sketis over bitbucket;

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
 ============
 
diff -r 1fb204399d8d -r 9c6651cd6141 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Sat Jan 19 07:19:16 2019 +0000
+++ b/src/Pure/Admin/build_polyml.scala	Sat Jan 19 16:53:18 2019 +0100
@@ -249,7 +249,7 @@
   Options are:
     -M DIR       msys root directory (for Windows)
     -m ARCH      processor architecture (32=x86, 64=x86_64, default: x86)
-    -s DIR       sha1 sources, see https://bitbucket.org/isabelle_project/sha1
+    -s DIR       sha1 sources, see https://isabelle.sketis.net/repos/sha1
 
   Build Poly/ML in the ROOT directory of its sources, with additional
   CONFIGURE_OPTIONS (e.g. --without-gmp).
@@ -284,7 +284,7 @@
 Usage: isabelle build_polyml_component [OPTIONS] TARGET
 
   Options are:
-    -s DIR       sha1 sources, see https://bitbucket.org/isabelle_project/sha1
+    -s DIR       sha1 sources, see https://isabelle.sketis.net/repos/sha1
 
   Make skeleton for Poly/ML component in directory TARGET.
 """,