# HG changeset patch
# User wenzelm
# Date 1602097324 -7200
# Node ID b8f25ceac57fd9aedc0013050a6713418be99e57
# Parent  2bbc7365e8c44b44a49097bd678ee3cd0e0cb1ef
updated URL;

diff -r 2bbc7365e8c4 -r b8f25ceac57f Admin/cronjob/plain_identify
--- a/Admin/cronjob/plain_identify	Wed Oct 07 20:53:27 2020 +0200
+++ b/Admin/cronjob/plain_identify	Wed Oct 07 21:02:04 2020 +0200
@@ -10,7 +10,7 @@
 LANG=C
 
 REPOS_DIR="$HOME/cronjob/plain_identify_repos"
-ISABELLE_REPOS_SOURCE="https://isabelle.in.tum.de/repos/isabelle"
+ISABELLE_REPOS_SOURCE="https://isabelle.sketis.net/repos/isabelle"
 AFP_REPOS_SOURCE="https://isabelle.sketis.net/repos/afp-devel"
 
 function setup_repos ()