[isabelle-dev] Phabricator for Isabelle development

[Makarius]

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.


	Makarius