[isabelle-dev] Isabelle/Phabricator

[Makarius]

On 12/11/2019 21:36, Makarius wrote:
> 
> 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.

Current Isabelle/81536e5d8ea7 already has the important "isabelle
phabricator_setup_ssh" and a NEWS entry. The documentation should allow
experimentation on a fresh virtual Ubuntu 18.04 without any problems.
Production servers should wait until I know how to dump/backup/restore
everything.

Looking around, I've found more projects that are using the Phabricator
platform (see examples in the documentation). I will take some ideas
from them and apply them to isabelle-dev.sketis.net as the canonical
example.

The Isabelle/Phabricator tools shall make it easy to run similar servers
for other purposes. E.g. I will have my own private instance on the same
virtual machine for co-authoring papers; this used to work via Bitbucket
in the past.

Eventually, we need to thank Bitbucket that it has liberated us from
centralized version control :-)


	Makarius