[isabelle-dev] Isatest

[Gerwin Klein]

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.

Cheers,
Gerwin