News for hackers. Stuff that matters.

A comment on Building bots to mend badges, or how to get your GitHub account suspended. Parent comment

Re:Building bots to mend badges, or how to get your GitHub a... by themarkn on Thursday March 08, 2018 @11:55AM (#16545627)
I just got one of those warnings yesterday and found it very useful. Shame you were not permitted to continue the work you had planned to do on that! It was a worthwhile idea.
[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by joering2 on Thursday March 08, 2018 @12:10PM (#16545771)
Github, site for programmers of all kind, does not allow automate bots. Oh irony!

Ps. Another reason why we mostly host on BitBucket ;)

[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by icebraining on Thursday March 08, 2018 @12:21PM (#16545882)
Github does allow bots (they are even marked as [bot]), but the user must opt-in to them before they can do PRs or other interactions with repositories.
[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by jwilk on Thursday March 08, 2018 @12:59PM (#16546189)
Do you have an example of this marking? I've seen many bots on GitHub, but I don't recall that any of them was marked specially.
[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by icebraining on Thursday March 08, 2018 @01:06PM (#16546243)
It's relatively recent, I think. An example of a PR: https://github.com/andreparames/odoo/pull/5
[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by guessmyname on Thursday March 08, 2018 @02:35PM (#16546971)
Notice that Apps and Bots are two different things.

Checking that pull-request and comparing the URL of the user with the blue avatar, you notice that the username marked as "bot" is actually an App [1] but the user [2] — linked at the bottom of the right sidebar — is a regular GitHub account (with no "bot" marking). I am not sure how are they different at a technical level, maybe the App is a web-hook and the User is the one interacting with the API. In any case, they are two different things.

[1] https://github.com/apps/dependabot

[2] https://github.com/dependabot-bot

[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by icebraining on Thursday March 08, 2018 @02:58PM (#16547159)
They're both bots, just using different APIs. Github details the differences here: https://developer.github.com/apps/differences-between-apps/#...
[ Parent | on HN ]
Re:Building bots to mend badges, or how to get your GitHub a... by always_good on Thursday March 08, 2018 @11:23PM (#16549775)
Not very ironic since the last thing you want is a bunch of amateur unsolicited bots bothering everyone and making the same mistakes OP made.
[ Parent | on HN ]