# HG changeset patch
# User wenzelm
# Date 1593092715 -7200
# Node ID 6678e4d9508f3a983ea393039ba7476287583f4c
# Parent  3e54088a7119a6f5859c4e2751ac257937a9532f
more uniform URL (see 60b5a4731695);

diff -r 3e54088a7119 -r 6678e4d9508f Admin/cronjob/plain_identify
--- a/Admin/cronjob/plain_identify	Wed Jun 24 20:59:50 2020 +0200
+++ b/Admin/cronjob/plain_identify	Thu Jun 25 15:45:15 2020 +0200
@@ -11,7 +11,7 @@
 
 REPOS_DIR="$HOME/cronjob/plain_identify_repos"
 ISABELLE_REPOS_SOURCE="https://isabelle.in.tum.de/repos/isabelle"
-AFP_REPOS_SOURCE="https://bitbucket.org/isa-afp/afp-devel"
+AFP_REPOS_SOURCE="https://isabelle.sketis.net/repos/afp-devel"
 
 function setup_repos ()
 {