[isabelle-dev] Further plans for https://isabelle.sketis.net/repos
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:
Here is the corresponding Github clone:
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.
More information about the isabelle-dev