[isabelle-dev] Isatest

[Lukas Bulwahn]

The webpage on the Isabelle (community) wiki, 
https://isabelle.in.tum.de/community/Administration_of_the_isatest_facilities, 
summarizes the agreement of this thread.
If anyone wants to add or modify the page, feel free to do so.

Lukas

On 03/29/2012 09:29 AM, Gerwin Klein wrote:
> 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
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev