[isabelle-dev] Mail on build failures

[Lars Hupel]

Dear Isabelle and AFP developers,

currently, isatest and afptest send build failure notifications to
specific people specified in a global list (isatest) or per entry
(afptest). How should this work in the future?

For isatest, I don't think this global list makes much sense. Rather
failures could get sent to the [isabelle-dev] or a new [isabelle-ci]
mailing list.

For afptest, the current scheme probably works well. I can try to
replicate it, but it's going to take me a while.

Opinions?

Cheers
Lars