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.
updated to new cronjob;
authorwenzelm
Tue, 01 Nov 2016 00:55:52 +0100
changeset 64437 dba2ca0e0a53
parent 64436 254c9411fc48
child 64438 f91cae6c1d74
updated to new cronjob;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Tue Nov 01 00:54:03 2016 +0100
+++ b/Admin/Release/CHECKLIST	Tue Nov 01 00:55:52 2016 +0100
@@ -85,8 +85,8 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- isatest@lxbroy10:hg-isabelle/.hg/hgrc
-- isatest@lxbroy10:devel-page/content/index.content
+- Admin/cronjob/self_update:
+  http://bitbucket.org/isabelle_project/isabelle-release
 
 
 Post-release
isabelle