Hacker News new | ask | show | jobs
by jwilk 3026 days ago
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.
1 comments
icebraining 3026 days ago
It's relatively recent, I think. An example of a PR: https://github.com/andreparames/odoo/pull/5
link
guessmyname 3026 days ago
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

link
icebraining 3026 days ago
They're both bots, just using different APIs. Github details the differences here: https://developer.github.com/apps/differences-between-apps/#...
link