[echoing @hierophect 's response, typed simultaneously]
Thanks for passing that response along, @dhalbert. It’s not completely surprising to me that GitHub would behave this way given its notification settings and how it defines things, which is what this response seems to be saying. But what seems surprising is that I think we’re all noticing that something has changed recently to cause notifications to be sent in such cases now where they hadn’t been before, and the response doesn’t seem to acknowledge that in any way. So the response implies that they thing you’re asking for a new feature request rather than complaining about a change in behavior.
(I’m almost imagining that someone “fixed a bug” in the past few weeks upon noticing that notifications weren’t being sent for these cases; but which had the unintended consequence of filling up inboxes with pointless notifications. That is, maybe it wasn’t a bug that was fixed, but a poorly documented “feature”).
-Brad