-
Notifications
You must be signed in to change notification settings - Fork 119
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bot failed to label PR #86
Comments
Another instance tonight: nodejs/node#9173 |
I'm probably the one to blame after merging a label related PR yesterday. Had a quick look in the logs, no errors found, and it did get the "PR opened"-event from GitHub on both PRs. Doing more verbose logging would be good for easier debugging |
Possibly another instance FWIW: nodejs/node#9178 |
Another: nodejs/node#9187 Should I stop posting examples? |
Yepp, thanks! I'll dig into this tonight, and keep you updated. On Wednesday, 19 October 2016, Brian White notifications@github.com wrote:
|
Just found a possible corner case which haven't been fixed tho. Sadly the github client lib we're using only allows us to fetch 100 repository labels with one single call to Will have a look at improving that later. |
Maybe we should just pair down to less that 100 labels :) |
nodejs/node#9171
Not sure why it didn't label it as
stream
.The text was updated successfully, but these errors were encountered: