# HG changeset patch
# User wenzelm
# Date 1589799541 -7200
# Node ID b8d7b623e27429d6e4282aa6105ed74e518a3063
# Parent  57ace76cbffabb5ef9bc21991a569ba8b3d61c59
follow Phabricator update 2020 Week 19;

diff -r 57ace76cbffa -r b8d7b623e274 NEWS
--- a/NEWS	Sun May 17 17:18:32 2020 +0200
+++ b/NEWS	Mon May 18 12:59:01 2020 +0200
@@ -27,6 +27,12 @@
 "isabelle_scala_tools" and "isabelle_file_format": minor
 INCOMPATIBILITY.
 
+* Isabelle/Phabricator setup has been updated to follow ongoing
+development: libphutil has been discontinued. Minor INCOMPATIBILITY:
+existing server installations should remove libphutil from
+/usr/local/bin/isabelle-phabricator-upgrade and each installation root
+directory (e.g. /var/www/phabricator-vcs/libphutil).
+
 
 *** Pure ***
 
diff -r 57ace76cbffa -r b8d7b623e274 etc/options
--- a/etc/options	Sun May 17 17:18:32 2020 +0200
+++ b/etc/options	Mon May 18 12:59:01 2020 +0200
@@ -294,13 +294,10 @@
 
 section "Phabricator"
 
-option phabricator_version_arcanist : string = "729100955129851a52588cdfd9b425197cf05815"
+option phabricator_version_arcanist : string = "a5bfb968cd90bb0a14c7067e7a2153d5d6ed48d7"
   -- "repository version for arcanist"
 
-option phabricator_version_libphutil : string = "034cf7cc39940b935e83923dbb1bacbcfe645a85"
-  -- "repository version for libphutil"
-
-option phabricator_version_phabricator : string = "ff6f24db2bc016533bca9040954a218c54ca324e"
+option phabricator_version_phabricator : string = "686e51655bb0f4134780dcc68e0276bc9bd0a4af"
   -- "repository version for phabricator"
 
 
diff -r 57ace76cbffa -r b8d7b623e274 src/Pure/Tools/phabricator.scala
--- 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\" ..."