src/Pure/Admin/isabelle_cronjob.scala

   val cumulative_log = main_dir + Path.explode("log/main.log")  // owned by log service
 
   val isabelle_repos = main_dir + Path.explode("isabelle")
   val isabelle_repos_test = main_dir + Path.explode("isabelle-test")
   val afp_repos = main_dir + Path.explode("AFP")
-
-  val isabelle_dev_source = "http://isabelle.in.tum.de/repos/isabelle"
-  val isabelle_release_source = "http://bitbucket.org/isabelle_project/isabelle-release"
   val afp_source = "https://bitbucket.org/isa-afp/afp-devel"
 
   val jenkins_jobs = "identify" :: Jenkins.build_log_jobs
 
 

 
               val results =
                 Build_History.remote_build_history(ssh,
                   isabelle_repos,
                   isabelle_repos.ext(r.host),
-                  isabelle_repos_source = isabelle_dev_source,
+                  isabelle_repos_source = "http://isabelle.in.tum.de/repos/isabelle",
                   isabelle_identifier = "cronjob_build_history",
                   self_update = self_update,
                   push_isabelle_home = push_isabelle_home,
                   rev = rev,
                   options =