more robust setup: avoid blind shot at "the latest" version;
authorwenzelm
Mon, 16 Dec 2019 16:32:07 +0100
changeset 71287 71fd25a7bbe2
parent 71286 058edb8f232c
child 71288 26a40fc962e8
more robust setup: avoid blind shot at "the latest" version;
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)