[m-dev.] referenced papers

Julien Fischer jfischer at opturion.com
Mon Aug 31 14:42:50 AEST 2015

On Mon, 31 Aug 2015, Zoltan Somogyi wrote:

> github.com/Mercury-Language/mercury_outside_papers
> It is public, but I have no idea how to set up controls on who can update it.
> I am hoping that it inherits those settings from Mercury-Language, but
> don't know. If someone does, I would be grateful if they told me.

Permission to push to (or otherwise update) any of Mercury-Language's
repositories is restricted to the Owners team for Mercury-Language.

> I would also be grateful if you test whether the repo can be checked out
> by someone other than me.

I just checked it out succesfully.


More information about the developers mailing list