src/Pure/Tools/phabricator.scala

               }
             API.Repository(vcs, id, phid, name, callsign, short_name, importing, ssh_url)
           })))
     }
 
+    def the_repository(phid: String): API.Repository =
+      get_repositories(phid = phid) match {
+        case List(repo) => repo
+        case _ => error("Bad repository " + quote(phid))
+      }
+
     def create_repository(
       name: String,
       callsign: String = "",    // unique name, UPPERCASE
       short_name: String = "",  // unique name
       description: String = "",

         execute("diffusion.repository.edit", params = JSON.Object("transactions" -> transactions))
           .get_value(JSON.value(_, "object", JSON.string(_, "phid")))
 
       execute("diffusion.looksoon", params = JSON.Object("repositories" -> List(phid))).get
 
-      get_repositories(phid = phid) match {
-        case List(repo) => repo
-        case _ => error("Failed to access new repository: " + quote(phid))
-      }
+      the_repository(phid)
     }
   }
 
   object API
   {