3 ms·

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 w

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.

joering2 9y ago
Github, site for programmers of all kind, does not allow automate bots. Oh irony! Ps. Another reason why we mostly host on BitBucket ;)
- icebraining 9y 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.
  - jwilk 9y 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.
    - deleted 9y ago
      [deleted]
    - icebraining 9y ago
      It's relatively recent, I think. An example of a PR: https://github.com/andreparames/odoo/pull/5 https://github.com/andreparames/odoo/pull/5
      - guessmyname 9y 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 https://github.com/apps/dependabot [2] https://github.com/dependabot-bot https://github.com/dependabot-bot
        icebraining 9y ago
        They're both bots, just using different APIs. Github details the differences here: https://developer.github.com/apps/differences-between-apps/#machine-vs-bot-accounts https://developer.github.com/apps/differences-between-apps/#...
- always_good 9y 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.

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.

joering2 9y ago

Github, site for programmers of all kind, does not allow automate bots. Oh irony! Ps. Another reason why we mostly host on BitBucket ;)

icebraining 9y 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.
- jwilk 9y 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.
  - deleted 9y ago
    [deleted]
  - icebraining 9y ago
    It's relatively recent, I think. An example of a PR: https://github.com/andreparames/odoo/pull/5 https://github.com/andreparames/odoo/pull/5
    - guessmyname 9y 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 https://github.com/apps/dependabot [2] https://github.com/dependabot-bot https://github.com/dependabot-bot
      - icebraining 9y ago
        They're both bots, just using different APIs. Github details the differences here: https://developer.github.com/apps/differences-between-apps/#machine-vs-bot-accounts https://developer.github.com/apps/differences-between-apps/#...
always_good 9y 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.