Why didn't this PR get labeled?

Mon Apr 30 16:09:09 UTC 2018

On 2018-04-30 15:49, Perry E. Metzger wrote:
> Sometimes, I've noticed, PRs in the queue don't get automatically
> labeled as expected. See this one, for example:
> 
> https://github.com/macports/macports-ports/pull/1687
> 
> Anyone know why?

The log file on braeburn says (times in UTC):

Apr 28 19:14:41 braeburn prbot-current[1214]: 2018/04/28 19:14:41 PR #1687 opened
Apr 28 19:14:41 braeburn prbot-current[1214]: 2018/04/28 19:14:41 GET https://api.github.com/repos/macports/macports-ports/pulls/1687/files?per_page=30: 404 Not Found []
Apr 28 19:16:40 braeburn prbot-current[1214]: 2018/04/28 19:16:40 sql: no rows in result set

Looks like GitHub send out the WebHook, but the API did not knew about the pull request yet...?

Rainer