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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
