[m-dev.] referenced papers
jfischer at opturion.com
Mon Aug 31 14:42:50 AEST 2015
On Mon, 31 Aug 2015, Zoltan Somogyi wrote:
> 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