# HG changeset patch
# User wenzelm
# Date 1653994092 -7200
# Node ID 108b8985a2d9f4f9ccec1628997c366e9c55cea6
# Parent  0a5f7b5da16f8663d2f30d97b3c08f7f845c33de
redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;

diff -r 0a5f7b5da16f -r 108b8985a2d9 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 30 22:34:45 2022 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 31 12:48:12 2022 +0200
@@ -46,7 +46,6 @@
       { logger =>
         Isabelle_Devel.make_index()
 
-        Mercurial.setup_repository(Isabelle_System.isabelle_repository.root, isabelle_repos)
         Mercurial.setup_repository(Isabelle_System.afp_repository.root, afp_repos)
 
         File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),