[isabelle-dev] Pushing to AFP fails

Andreas Lochbihler andreas.lochbihler at inf.ethz.ch
Tue Feb 18 15:45:14 CET 2014

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?


More information about the isabelle-dev mailing list