Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper remote repository source;
authorwenzelm
Tue, 01 Nov 2016 15:00:27 +0100
changeset 64452 b52141002646
parent 64451 cdbfa9f64110
child 64453 075c077a6e29
proper remote repository source;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- 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
 ============
--- 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 _,
isabelle