[isabelle-dev] Pushing to AFP fails

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Feb 18 23:04:58 CET 2014

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?
> Andreas
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


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 mailing list