# HG changeset patch
# User wenzelm
# Date 1576510327 -3600
# Node ID 71fd25a7bbe234de3f288533a553e32da418ef04
# Parent  058edb8f232ca762642b18e3d317cf0be6678906
more robust setup: avoid blind shot at "the latest" version;

diff -r 058edb8f232c -r 71fd25a7bbe2 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Mon Dec 16 15:48:39 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Dec 16 16:32:07 2019 +0100
@@ -285,9 +285,15 @@
       script = """
         set -e
         echo "Cloning distribution repositories:"
+
         git clone --branch stable https://github.com/phacility/libphutil.git
+        git -C libphutil reset --hard 1750586fdc50a6cd98adba4aa2f5a7649bd91dbe
+
         git clone --branch stable https://github.com/phacility/arcanist.git
+        git -C arcanist reset --hard bac2028421a4be6e34e08764bbbda49e68b3a604
+
         git clone --branch stable https://github.com/phacility/phabricator.git
+        git -C phabricator reset --hard c4b4a53cad7722f031b725f8b41511e9d341d033
       """).check
 
     val config = Config(name, root_path)