[isabelle-dev] Pushing to AFP fails
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?
> 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