Weird, I thought this was already merged so didn't comment, since I got a commit mail about it. I guess it's because the branch was made on the main repo instead of a fork?

Yes. You can see the branch in the top of the body of the mail.
Usually this is master but when the branch is in the main repo instead of a fork, commit mails are sent as well.

Anyway, if we do this, committer or merger should delete the branch after so we don't have too many useless branches clogging up the Githubs.

Agreed.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.