[isabelle-dev] Pushing to AFP fails

[Andreas Lochbihler]

It now works again.

Andreas

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.
>
> Cheers,
> Gerwin
>
> 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.
>