# HG changeset patch
# User wenzelm
# Date 1576505947 -3600
# Node ID 8cd05f7b3b4a3b07ec1d82259157246b89621c82
# Parent  49bc17bf438455e325c0fe6c6a90338059caba55
proper default;

diff -r 49bc17bf4384 -r 8cd05f7b3b4a src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Mon Dec 16 15:18:03 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Dec 16 15:19:07 2019 +0100
@@ -385,7 +385,7 @@
 
     command_setup(isabelle_phabricator_name(name = "upgrade"),
       init =
-"""BRANCH="${1:stable}"
+"""BRANCH="${1:-stable}"
 if [ "$BRANCH" != "master" -a "$BRANCH" != "stable" ]
 then
   echo "Bad branch: \"$BRANCH\""