Setup of this Phabricator service (see also Phabricator Documentation).
Feb 14 2020
Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:
Feb 11 2020
Jan 12 2020
Dec 20 2019
Some required Node.js packages:
Nov 12 2019
Sep 30 2019
Sep 27 2019
Sep 26 2019
An easy workaround is to refer to the hgweb mirror of the same repository: https://isabelle.sketis.net/repos/isabelle/tags
Sep 25 2019
The Phabricator service of the Mercurial project shows the same omission. So it looks like .hgtags are not supported by Diffusion (yet?).