Mute a branch


It would be very useful to be able to mute a branch, that is, to avoid sending email notifications to the team for errors on a specific branch. One use case is for someone who pushes to github at the end of each day before a branch is fixed.