Admin/cronjob/self_update
changeset 67744 5c781dcd5864
parent 64538 5dd15fc22a53
child 67954 b731a8d37131
     1.1 --- a/Admin/cronjob/self_update	Fri Mar 02 11:52:27 2018 +0100
     1.2 +++ b/Admin/cronjob/self_update	Fri Mar 02 15:16:10 2018 +0100
     1.3 @@ -10,5 +10,5 @@
     1.4  cd "$HOME/cronjob"
     1.5  mkdir -p run log
     1.6  
     1.7 -hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
     1.8 +hg -R isabelle pull "https://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
     1.9  hg -R isabelle update -C -q || echo "self_update update failed"