Re: [isabelle-dev] Access problems to repositories and NFS

2017-04-18 Thread Lars Hupel
>> Indeed it is, thanks to the invaluable help of Franz Huber. However, he
>> spoke of a workaround when he notified us and wasn't 100% certain it
>> works reliably. I felt we should wait a few more days before we move the
>> repo back, but I am easy either way.
> 
> I would still suggest mainly pushing to the temporary repository, with
> occasional (manual) syncs to the official repository. If nothing breaks
> until next week I'll delete the temporary repository again.

With regular write access to the official repository having been
restored, I'm deleting the temporary repository again.

Cheers
Lars
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] Access problems to repositories and NFS

2017-04-12 Thread Tobias Nipkow



On 12/04/2017 14:29, Makarius wrote:

On 11/04/17 09:34, Lars Hupel wrote:


In order to keep going with development, I've created a temporary clone
on Bitbucket: 

I'm in the process of inviting people to that clone so they can keep
working. I'll also update the URLs in Jenkins shortly.

If you need to push but I forgot to add you, please mail me your
Bitbucket user name and I'll add you ASAP.

I hope that this is just a temporary workaround (famous last words, I
know ...).


lxbroy10 is back to normal, see the proof
http://isabelle.in.tum.de/repos/isabelle/rev/f3cd78ba687c



Indeed it is, thanks to the invaluable help of Franz Huber. However, he spoke of 
a workaround when he notified us and wasn't 100% certain it works reliably. I 
felt we should wait a few more days before we move the repo back, but I am easy 
either way.


Tobias


Makarius


___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev





smime.p7s
Description: S/MIME Cryptographic Signature
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] Access problems to repositories and NFS

2017-04-12 Thread Makarius
On 11/04/17 09:34, Lars Hupel wrote:
> 
> In order to keep going with development, I've created a temporary clone
> on Bitbucket: 
> 
> I'm in the process of inviting people to that clone so they can keep
> working. I'll also update the URLs in Jenkins shortly.
> 
> If you need to push but I forgot to add you, please mail me your
> Bitbucket user name and I'll add you ASAP.
> 
> I hope that this is just a temporary workaround (famous last words, I
> know ...).

lxbroy10 is back to normal, see the proof
http://isabelle.in.tum.de/repos/isabelle/rev/f3cd78ba687c


Makarius


___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] Access problems to repositories and NFS

2017-04-11 Thread Tobias Nipkow



On 11/04/2017 16:17, Makarius wrote:

On 11/04/17 09:34, Lars Hupel wrote:


In order to keep going with development, I've created a temporary clone
on Bitbucket: 

I hope that this is just a temporary workaround (famous last words, I
know ...).


Thanks for taking care of this.

I noticed a problem with lxbroy10 on Sunday evening and only sent a
short notice to the TUM admin group (without getting a reaction so far).

With more and more resources removed from this group, problems are to be
expected. They are doing there best, but we definitely feel the natural
consequences of the global "austerity policy".


Since Manfred Broy retired the resources he provided are not available anymore, 
not because of some evil austerity policy but because they went back to where 
they came from, the department, or because they were external funds to start with.


Tobias


I hope we get back on lxbroy10 soon.


Makarius

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev





smime.p7s
Description: S/MIME Cryptographic Signature
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] Access problems to repositories and NFS

2017-04-11 Thread Makarius
On 11/04/17 09:34, Lars Hupel wrote:
> 
> In order to keep going with development, I've created a temporary clone
> on Bitbucket: 
> 
> I hope that this is just a temporary workaround (famous last words, I
> know ...).

Thanks for taking care of this.

I noticed a problem with lxbroy10 on Sunday evening and only sent a
short notice to the TUM admin group (without getting a reaction so far).

With more and more resources removed from this group, problems are to be
expected. They are doing there best, but we definitely feel the natural
consequences of the global "austerity policy".

I hope we get back on lxbroy10 soon.


Makarius

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Re: [isabelle-dev] Access problems to repositories and NFS

2017-04-11 Thread Lars Hupel
> Until the problems with lxbroy10 are resolved, please try lxbroy9 or
> lxbroy8 as login nodes. The Isabelle repository should be available
> there too.

This appears to only give read access, not write access.

In order to keep going with development, I've created a temporary clone
on Bitbucket: 

I'm in the process of inviting people to that clone so they can keep
working. I'll also update the URLs in Jenkins shortly.

If you need to push but I forgot to add you, please mail me your
Bitbucket user name and I'll add you ASAP.

I hope that this is just a temporary workaround (famous last words, I
know ...).

Cheers
Lars
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev