[isabelle-dev] Isatest

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Wed Mar 28 20:45:48 CEST 2012

Hi all,

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?

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.



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120328/9b366570/attachment.asc>

More information about the isabelle-dev mailing list