[isabelle-dev] Pushing to AFP fails

I am trying to push a changeset to Coinductive to the AFP, but I always get the following error message: remote: abort: could not lock repository /hg/p/afp/code: Permission denied abort: unexpected response: empty string Until last week, hg push used to work well. Has anything changed?

Re: [isabelle-dev] Pushing to AFP fails

On 18/02/2014 14:45, Andreas Lochbihler wrote: I am trying to push a changeset to Coinductive to the AFP, but I always get the following error message: remote: abort: could not lock repository /hg/p/afp/code: Permission denied abort: unexpected response: empty string Until last week, hg