diff -r 5076725247fa -r c46e26512e0f src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 25 17:22:05 2016 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Oct 25 19:44:20 2016 +0200
@@ -83,7 +83,7 @@
           Isabelle_System.rm_tree(old_snapshot)
 
           Build_Release.build_release(base_dir, parallel_jobs = 4,
-            remote_mac = "macbroy30", website = Some(new_snapshot))
+            remote_mac = "macbroy31", website = Some(new_snapshot))
 
           if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot)
           File.mv(new_snapshot, release_snapshot)