News for hackers. Stuff that matters.

A comment on Switch to Gender Neutral Terms. Parent comment

Re:Switch to Gender Neutral Terms by hintymad on Wednesday March 30, 2022 @06:59PM (#30861904)
I thought the bot was built by github
[ Parent | on HN ]
Re:Switch to Gender Neutral Terms by leephillips on Wednesday March 30, 2022 @07:28PM (#30862111)
That’s an order of magnitude more disturbing than I thought, then.
[ Parent | on HN ]
Re:Switch to Gender Neutral Terms by minitech on Wednesday March 30, 2022 @08:10PM (#30862367)
Making up things to be disturbed by is a classic pastime. The bot was not built by GitHub.
[ Parent | on HN ]
Re:Switch to Gender Neutral Terms by tosser123 on Wednesday March 30, 2022 @09:03PM (#30862702)
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.

[ Parent | on HN ]
Re:Switch to Gender Neutral Terms by minitech on Wednesday March 30, 2022 @09:23PM (#30862841)
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.

[ Parent | on HN ]