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.
more phabricator setup;
authorwenzelm
Tue, 05 Nov 2019 22:44:51 +0100
changeset 71057 2965304143d8
parent 71056 ee3c43eb79ae
child 71058 6ca9e8377613
more phabricator setup;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:08:15 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:44:51 2019 +0100
@@ -287,6 +287,8 @@
       a2enmod rewrite
       a2ensite """ + Bash.string(isabelle_phabricator_name())).check
 
+    config.execute("config set phabricator.base-uri " + Bash.string(server_url))
+
     Linux.service_restart("apache2")
isabelle