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.
Cheers,
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
