[isabelle-dev] Isatest

Gerwin Klein gerwin.klein at nicta.com.au
Wed Mar 28 23:30:53 CEST 2012

On 29/03/2012, at 6:11 AM, Makarius wrote:

> On Wed, 28 Mar 2012, Florian Haftmann wrote:
>> Once there has been the idea that everyone having commit access to the Isabelle master repository (POSIX group isabelle at nfsbroy) is also a isatest subscriber.
>> Maybe it would be helpful to establish this as a rule (at least of thumb).  Isatest mails can still be sorted out by local email filters.
>> What do you think?
> I could imagine some reforms in the meaning of the Unix group "isabelle" and how it is managed, although I have a tendency to leave the status-quo untouched.
> For every administrative facility that is added, one also needs to take maintenance into account. 

Yes, that is the main problem I see with this (otherwise I'm all for it). If there is an email list that automatically contains everyone with push-access, emails could easily be sent there. I wouldn't want to have to maintain that email list, tough.

> Who is the main responsible for isatest anyway?  According to the received customs it would be Gerwin, since he started the service many years ago. (His shell scripts still mention SunOS.)

They do ;-)

I still feel mildly responsible for isatest, but would be more than happy to pass this on to somebody with more time and more close in time(zone) and and space to where it actually runs.


More information about the isabelle-dev mailing list