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 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 ]