florian.haftmann at informatik.tu-muenchen.de
Wed Mar 28 20:45:48 CEST 2012
Once there has been the idea that everyone having commit access to the
Isabelle master repository (POSIX group isabelle at nfsbroy) is also a
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?
Maybe in the future with mira taking over more and more realm from
isatest, one could invent a more clever mechanism, e.g. only mail
authors of critical changesets – which, by the way, should not be that
difficult to implement as it is now.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev