Self-hosting via Isabelle/Phabricator

[Makarius]

Dear Mercurial community,

Phabricator is listed on https://www.mercurial-scm.org/wiki/MercurialHosting
both as paid service (expensive) and for self-hosting (difficult to setup).

Here is an explanation of my own self-hosted setup for Isabelle/Phabricator:
https://sketis.net/2019/isabelle-phabricator-server-setup

See also this example of self-application:
https://isabelle-dev.sketis.net/rISABELLE597059a44d6f3e1c607ba9f95ac069c0c8532ebc


Isabelle/Scala sources are here:
https://isabelle-dev.sketis.net/source/isabelle/browse/default/src/Pure/Tools/phabricator.scala;597059a44d6

Isabelle documentation sources are here:
https://isabelle-dev.sketis.net/source/isabelle/browse/default/src/Doc/System/Phabricator.thy;597059a44d6
(the generated PDF is in the integrated application
https://isabelle.sketis.net/devel/release_snapshot in Documentation/system).


It might appear slightly odd to have a huge theorem prover platform as a tool
to setup Phabricators on Linux, but it might serve as an example for someone
who wants to make a package for Debian/Ubuntu, or some Mercurial extension to
do it on the spot in Python.

Note that there are many fine points to consider in the configuration, as
explained in the above documentation.

Doing it seriously might also require some interactions with
https://discourse.phabricator-community.org -- that forum needs further proof
that Mercurial is still quite alive.


	Makarius