[isabelle-dev] Further plans for https://isabelle.sketis.net/repos

Makarius makarius at sketis.net
Fri Aug 23 22:35:33 CEST 2019


On 23/08/2019 21:59, Makarius wrote:
> 
> Here is an example Phabricator installation, which happens to be for the
> Mercurial project itself: https://phab.mercurial-scm.org/diffusion/HG/

Another example is Phabricator development hosted by Phabricator itself:

  https://secure.phabricator.com/project

Here is the corresponding Github clone:

  https://github.com/phacility/phabricator

I specifically like this note in the README:

"""
NO PULL REQUESTS!

We do not accept pull requests through GitHub. If you would like to
contribute code, please read our Contributor's Guide.
"""


	Makarius


More information about the isabelle-dev mailing list