Hacker News new | ask | show | jobs
by joering2 3026 days ago
Github, site for programmers of all kind, does not allow automate bots. Oh irony!

Ps. Another reason why we mostly host on BitBucket ;)
2 comments
icebraining 3026 days ago
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.
link
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.
link
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
always_good 3026 days ago
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.
link