[isabelle-dev] isabelle "root" access

[Fabian Immler]

Exactly the same applies to Yutaka.

Fabian

Am 10.07.2013 um 13:30 schrieb Makarius <makarius at sketis.net>:

> On Wed, 10 Jul 2013, Fabian Immler wrote:
> 
>> Markus Westerlind is a student of mine. For his Bachelor's thesis he needs to carry out performance measurements on a machine with many cores (isabelle-server). His project is not directly related to Isabelle, so you are right that a full "root" access is too much, but it is the only way for him to access that machine (conveniently).
> 
>> So he has nothing to do with Isabelle development or administration and I trust that he is not abusing his power.
> 
> OK, that is what we've usually had routinely in the past.  BTW, these "shadow administrators" don't even know their powers, so abuse has de-facto not happened yet, as far as I know.  (This is a strange security policy, of course.)
> 
> Can you also speak for nagashim (Yutaka Nagashima)?
> 
> 
> 	Makarius