# HG changeset patch
# User wenzelm
# Date 1576936040 -3600
# Node ID 79232f1383821553fde8bb1ffb16ddef6882aeb9
# Parent  836fde6f9d7e081cc1c01145401df9cc4461e0f5
clarified signature;

diff -r 836fde6f9d7e -r 79232f138382 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Sat Dec 21 14:43:07 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Sat Dec 21 14:47:20 2019 +0100
@@ -947,7 +947,10 @@
     lazy val user_name: String = execute("user.whoami").get_value(JSON.string(_, "userName"))
 
     def get_repositories(
-      phid: String = "", callsign: String = "", short_name: String = ""): List[API.Repository] =
+      all: Boolean = false,
+      phid: String = "",
+      callsign: String = "",
+      short_name: String = ""): List[API.Repository] =
     {
       val constraints: JSON.Object.T =
         (for {
@@ -956,7 +959,7 @@
         } yield (key, List(value))).toMap
 
       execute_search("diffusion.repository.search",
-          JSON.Object("queryKey" -> "active", "constraints" -> constraints),
+          JSON.Object("queryKey" -> (if (all) "all" else "active"), "constraints" -> constraints),
             data => JSON.value(data, "fields", fields =>
               for {
                 vcs_name <- JSON.string(fields, "vcs")