# HG changeset patch
# User wenzelm
# Date 1504782790 -7200
# Node ID a61181ffb1ce70a092e7c6bb46709eb35cf45ec8
# Parent  f3e7a141897927dbe34e464c8b429fdfaed475a7
no fork of long-term test results: too complicated;

diff -r f3e7a1418979 -r a61181ffb1ce Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Sep 07 11:36:57 2017 +0200
+++ b/Admin/Release/CHECKLIST	Thu Sep 07 13:13:10 2017 +0200
@@ -93,12 +93,6 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- Admin/cronjob/self_update:
-  http://bitbucket.org/isabelle_project/isabelle-release
-
-- src/Pure/Admin/isabelle_cronjon.scala:
-  isabelle_repos_source = isabelle_release_source
-
 
 Post-release
 ============
diff -r f3e7a1418979 -r a61181ffb1ce src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Sep 07 11:36:57 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Sep 07 13:13:10 2017 +0200
@@ -23,9 +23,6 @@
   val isabelle_repos = main_dir + Path.explode("isabelle")
   val isabelle_repos_test = main_dir + Path.explode("isabelle-test")
   val afp_repos = main_dir + Path.explode("AFP")
-
-  val isabelle_dev_source = "http://isabelle.in.tum.de/repos/isabelle"
-  val isabelle_release_source = "http://bitbucket.org/isabelle_project/isabelle-release"
   val afp_source = "https://bitbucket.org/isa-afp/afp-devel"
 
   val jenkins_jobs = "identify" :: Jenkins.build_log_jobs
@@ -239,7 +236,7 @@
                 Build_History.remote_build_history(ssh,
                   isabelle_repos,
                   isabelle_repos.ext(r.host),
-                  isabelle_repos_source = isabelle_dev_source,
+                  isabelle_repos_source = "http://isabelle.in.tum.de/repos/isabelle",
                   isabelle_identifier = "cronjob_build_history",
                   self_update = self_update,
                   push_isabelle_home = push_isabelle_home,