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