[isabelle-dev] Isabelle/Phabricator

Makarius makarius at sketis.net
Tue Nov 12 21:36:28 CET 2019

On 25/10/2019 14:29, Makarius wrote:
> To help anybody interested in independent hosting (of SVN, Mercurial,
> Git) and to minimize my own administrative workload, I intend to provide
> a few Isabelle/Phabricator tools in Isabelle/Scala within the next few
> weeks (Feb-2019 is the deadline imposed by Bitbucket). E.g. "isabelle
> phabricator_setup" will configure this tool together with basic Apache,
> MySQL, PHP settings on a fresh Ubuntu server.

Isabelle/c073c4e79518 already has some "isabelle phabricator" tools for
that, even with documentation in the "system" manual.

A few practically important things are still missing:

  * automated ssh setup for hosted repositories

  * some convenience tools to init/clone/move repositories using the
"conduit" API of Phabricater (especially: tools to move away from Github
or Bitbucket)

When that is in place, there will be an official NEWS entry, maybe even
a NEWS blog on isabelle-dev.sketis.net -- that site already provides a
nice overview of ongoing activity, with all relevant repositories in a
uniform view.


More information about the isabelle-dev mailing list