# HG changeset patch
# User wenzelm
# Date 1478008827 -3600
# Node ID b52141002646bc6c125a66cbef5460ebd6716b5c
# Parent  cdbfa9f64110e6330a6804cb87f614e2a2cc6cb2
proper remote repository source;

diff -r cdbfa9f64110 -r b52141002646 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Nov 01 14:59:50 2016 +0100
+++ b/Admin/Release/CHECKLIST	Tue Nov 01 15:00:27 2016 +0100
@@ -88,6 +88,9 @@
 - 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 cdbfa9f64110 -r b52141002646 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Nov 01 14:59:50 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Nov 01 15:00:27 2016 +0100
@@ -124,7 +124,7 @@
               Build_History.remote_build_history(ssh,
                 isabelle_repos,
                 isabelle_repos.ext(r.host),
-                isabelle_repos_source = isabelle_dev_source,
+                isabelle_repos_source = isabelle_release_source,
                 self_update = self_update,
                 push_isabelle_home = push_isabelle_home,
                 progress_result = progress_result _,