5 ms·

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

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.

hintymad 5y ago
I thought the bot was built by github
- leephillips 5y ago
  That’s an order of magnitude more disturbing than I thought, then.
  - minitech 5y ago
    Making up things to be disturbed by is a classic pastime. The bot was not built by GitHub.
    - tosser123 5y ago
      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.
      - minitech 5y ago
        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.