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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
