Sounds like a sensible idea to avoid test failures to go unnoticed. Tobias
Am 28/03/2012 20:45, schrieb Florian Haftmann: > 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 > > > > > This body part will be downloaded on demand. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
