src/Pure/Tools/phabricator.scala
changeset 71845 b8d7b623e274
parent 71747 1dd514c8c1df
child 72375 e48d93811ed7
--- a/src/Pure/Tools/phabricator.scala	Sun May 17 17:18:32 2020 +0200
+++ b/src/Pure/Tools/phabricator.scala	Mon May 18 12:59:01 2020 +0200
@@ -292,10 +292,6 @@
         git -C arcanist reset --hard """ +
           Bash.string(options.string("phabricator_version_arcanist")) + """
 
-        git clone --branch stable https://github.com/phacility/libphutil.git
-        git -C libphutil reset --hard """ +
-          Bash.string(options.string("phabricator_version_libphutil")) + """
-
         git clone --branch stable https://github.com/phacility/phabricator.git
         git -C phabricator reset --hard """ +
           Bash.string(options.string("phabricator_version_phabricator")) + """
@@ -409,7 +405,7 @@
 """,
       body =
 """echo -e "\nUpgrading phabricator \"$NAME\" root \"$ROOT\" ..."
-for REPO in libphutil arcanist phabricator
+for REPO in arcanist phabricator
 do
   cd "$ROOT/$REPO"
   echo -e "\nUpdating \"$REPO\" ..."