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-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev