[isabelle-dev] Phabricator for Isabelle development

Makarius makarius at sketis.net
Thu Sep 26 15:48:26 CEST 2019

On 26/09/2019 15:36, Kevin Kappelmann wrote:
>> The link is over the "5094098f5e0c" in the text for the resolved status.
> I realised that the link is only visible for logged in users (you can
> check using the private mode of your browser).

I have now changed the policies: repositories are visible to general
public without login, thus the link appears as expected.

Generally, the idea is to make everything visible (read-only) by
default, while certain groups of registered users can participate in
authoring and discussing items.

At a later stage it will become possible to push changes to hosted
repositories, and thus getting rid of other hosting services like
Bitbucket or Github eventually.


More information about the isabelle-dev mailing list