Hacker News Reader

So GitHub repositories are being harassed by bots that police their language? I assume GitHub is going to ban their IPs. If they don’t, it’s another symptom of their decline.

View on HN

I thought the bot was built by github

That’s an order of magnitude more disturbing than I thought, then.

Making up things to be disturbed by is a classic pastime. The bot was not built by GitHub.

It was allowed to force push to the main branch. Not "made" by GitHub seems to be quite uncharitable nitpicking, when the bot has been blessed by GitHub and implicitly its actions endorsed.

In the spirit of your comment: Gas lighting is a classic pastime.

It force-pushed to a branch of its own fork, then closed its own pull request without merging it – both things any account can do. No GitHub blessing was ever involved.

And so we move from uninformed speculation to uninformed misinterpretation.

Reply on news.ycombinator.com