nipkow at in.tum.de
Wed Mar 28 20:54:24 CEST 2012
Sounds like a sensible idea to avoid test failures to go unnoticed.
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.
> This body part will be downloaded on demand.
More information about the isabelle-dev