[isabelle-dev] Isatest

Gerwin Klein gerwin.klein at nicta.com.au
Thu Mar 29 09:29:58 CEST 2012

On 29/03/2012, at 4:31 PM, Tobias Nipkow wrote:

> Am 28/03/2012 23:30, schrieb Gerwin Klein:
>> 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.
> Florian suggested "a rule (of thumb)", not automation. Hence I am still in
> favour. It just means that whoever grants write access should try and remember
> to add that person to the email list.

As long as I don't have to do anything for each entry/exit, I'm easy. The list is controlled via the settings in the repository, so anyone in the group can add/remove people.


More information about the isabelle-dev mailing list