[isabelle-dev] Isatest

Lukas Bulwahn bulwahn at in.tum.de
Fri Mar 30 11:19:47 CEST 2012

The webpage on the Isabelle (community) wiki, 
summarizes the agreement of this thread.
If anyone wants to add or modify the page, feel free to do so.


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

More information about the isabelle-dev mailing list