Some of you may have noticed that Brad Roberts has configured bugzilla so it gets notifications from github when fixes get pushed. This makes things easier and more consistent.