Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper default;
authorwenzelm
Mon, 16 Dec 2019 15:19:07 +0100
changeset 71285 8cd05f7b3b4a
parent 71284 49bc17bf4384
child 71286 058edb8f232c
proper default;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- 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\""
isabelle