And by "one of the tea developers" you mean a core contributor and the guy who build the Homebrew package manager.

Which makes it even weirder as he, being a popular open source maintainer, should be aware of how annoying spam PRs can be.