We can't let email configuration be the default since it would spam most
people in the GitHub org. However, we set it to a couple of addresses
explicitly, we get emailed with failures from other people's forks who
have set up CI for themselves.