Building bots to mend badges, or how to get your GitHub account suspended

Re:Building bots to mend badges, or how to get your GitHub a... by OtterCoder on Thursday March 08, 2018 @02:53PM (#16547115)

You absolutely deserve to be banned, regardless of ToS. You're wasting thousands of other people's man-hours to demand, however politely, that they fix a miniscule error that likely only bothers you. Even if you provide the fix with the request, it will still take a colossal amount of time to read and review the PRs. This is mechanised pedantry on a despicable scale.

[ Parent | on HN ]

Re:Building bots to mend badges, or how to get your GitHub a... by movermeyer on Thursday March 08, 2018 @03:05PM (#16547206)

The total amount of time to review one of these pull requests can be estimated at < 30 seconds per repo. 30s * 1000 repos = 8h20m. Hardly thousands of hours.

But yes, this was a particularly trivial problem to tackle. It was meant to be a stepping stone to a truly useful bot that I was working on. However, that has been put on hold.

FWIW, the maintainers themselves gave lots of positive feedback on the project.

[ Parent | on HN ]

Re:Building bots to mend badges, or how to get your GitHub a... by dawnerd on Thursday March 08, 2018 @03:11PM (#16547250)

I don't mind people doing PRs for these little things but absolutely hate when bots do it. We have a ton of public repos, many of which are old and abandoned (although not as bad now that you can archive them). Getting emails for each of them is annoying to say the least.

[ Parent | on HN ]