> Considering that that repository has what seems like ~10 longer term contributors, who probably get email notifications, together with a bunch of other people

> Considering that that repository has what seems like ~10 longer term contributors, who probably get email notifications, together with a bunch of other people who get notifications about it, wonder how many emails were sent out because of this? If we just assume ten people get the emails, it's already 46K emails going out in under 24 hours... Unless GitHub are idiots they batch email updates to mitigate this