diff -r 18f4061fd817 -r b4401dfd6544 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Wed Dec 11 23:05:57 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Dec 12 11:49:00 2019 +0100
@@ -154,11 +154,11 @@
           progress.echo("phabricator " + quote(config.name) + " root " + config.root)
         }
       }
-
-      val config = get_config(name)
-
-      val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
-      if (!result.ok) error("Return code: " + result.rc.toString)
+      else {
+        val config = get_config(name)
+        val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
+        if (!result.ok) error("Return code: " + result.rc.toString)
+      }
     })