Yes, botspam is bad. But if a change is good. A change is good, merge it and get on with your life.
If someone wants to write "check_spelling_bot" and get a ton of github karma, I have 0 issue with it. In fact, I encourage GitHub to do it :).
If someone wants to write "check_spelling_bot" and get a ton of github karma, I have 0 issue with it. In fact, I encourage GitHub to do it :).
If you got spam, but the spam was useful to you personally, not marking it as spam prevents your email provider from flagging the account as spam to the wider world.
Relevant xkcd: https://xkcd.com/810/
That is absolutely false. Spam is not defined based on it's utility, but based on whether a message is solicited.
If the author of a repo hasn't signed their repo up for an automated PR bot, that bot sending out PRs is absolutely spam.
Edit: Emergency alerts are solicited by owning a phone in a country that mandates that cell carriers send those messages.
Before getting sidetracked on definitions of other words, I would be deeply surprised if asking a bunch of people on the street "If you received a message you didn't ask for and didn't expect, but it turns out you are very glad you received it and it provided you value, is that spam?" resulted in a broad consensus around "yes"
Unwanted and unsolicited are definitely not the same thing, whether or not you solcit something has nothing to do with if you want it, I'm not sure how those are synonymous. And if being mandated to recieve a message by someone else counts as you soliciting the message, where solicit in its most common definition means to ask for, then I guess that means that everything is solicited?
> Unsolicited e-mail, often of a commercial nature, sent indiscriminately to multiple mailing lists, individuals, or newsgroups; junk e-mail.
Note, "unsolicited" is the first word and "irrelevant" does not appear anywhere and there is no discussion of the utility of the message to the recipient.
That's so pedantic, I'm inclined to disagree - if it's even correct. Not everything that's unsolicited is spam. An unsolicited thank you note isn't spam.
More components of spam are traditionally a large, indiscriminate number of receivers, and low quality messaging. Irrelevancy does partially capture both of these.
There is a complex set of social expectations around when a thank you note is unsolicited. I could start trying to describe them, but then you'd probably call me pedantic again.