*** System *** * The command-line tool "isabelle phabricator_setup" facilitates self-hosting of the Phabricator software-development platform, with support for Git, Mercurial, Subversion repositories. This helps to avoid monoculture and to escape the gravity of centralized version control by Github and/or Bitbucket. For further documentation, see chapter "Phabricator server administration" in the "system" manual. A notable example installation is https://isabelle-dev.sketis.net/.
This refers to Isabelle/8f3940150493. At the same time it is a test of the NEWS blog at https://isabelle-dev.sketis.net -- with automated propagation to the isabelle-dev mailing list. See also https://isabelle-dev.sketis.net/phame/post/view/1/isabelle_phabricator_setup (Actually, mailing list propagation does not quite work yet, so I pasted this manually.) Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
