So I could see that mailing seems to be back to work.
More about filters: when you break a build, there is a single
mail sent to both change authors and
jbosstools-builds@lists.jboss.org.
So, the only way to make distinction between a jbosstools-builds
mailing and an error mail for you is to filter on the
[jbosstools-builds] prefix, not on the recipient. Using this
filter, you should not miss the most useful notifications.
Thanks