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

[Makarius]

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