[isabelle-dev] Pushing to AFP fails
andreas.lochbihler at inf.ethz.ch
Wed Feb 19 08:16:46 CET 2014
It now works again.
On 18/02/14 23:04, Gerwin Klein wrote:
> Nothing has changed from the setup/permission side, but as David said the platform seems to be having some issues at the moment. Curiously, the “Admin” tab has disappeared for me when I log in.
> If you still can’t push by tomorrow, please let me know.
> On 19.02.2014, at 1:45 am, Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch> 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 push used to work well. Has anything changed?
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
More information about the isabelle-dev