# HG changeset patch
# User wenzelm
# Date 1654452827 -7200
# Node ID 2251548ec4a8e175d873b1f5aaca0c9a82d33b11
# Parent  b32fdb67f851413c9203b297834e6afcac3e8693
tuned messages;

diff -r b32fdb67f851 -r 2251548ec4a8 src/Pure/Admin/sync_repos.scala
--- a/src/Pure/Admin/sync_repos.scala	Sun Jun 05 19:19:55 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala	Sun Jun 05 20:13:47 2022 +0200
@@ -31,13 +31,13 @@
         thorough = thorough, dry_run = dry_run, contents = contents, filter = filter ::: more_filter)
     }
 
-    progress.echo("\n* Isabelle repository:")
+    progress.echo_if(verbose, "\n* Isabelle repository:")
     sync(hg, target, rev,
       contents = List(File.Content(Path.explode("etc/ISABELLE_ID"), hg.id(rev = rev))),
       filter = List("protect /AFP"))
 
     for (hg <- afp_hg) {
-      progress.echo("\n* AFP repository:")
+      progress.echo_if(verbose, "\n* AFP repository:")
       sync(hg, Isabelle_System.rsync_dir(target) + "/AFP", afp_rev)
     }
   }