You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GitHub APIs sometimes (once per week) give wrong answer and miss an issue. Which is interpreted as the issue has been closed.
It might be good to double check all 'gone' issues to ensure they have been truly closed. Or just pull data also for issues Closed in last one hour (or touched last hour).
It's larger work item and may need redesign of how we're getting data from GitHub (currently we pull all open issues every hour).
The text was updated successfully, but these errors were encountered:
GitHub APIs sometimes (once per week) give wrong answer and miss an issue. Which is interpreted as the issue has been closed.
It might be good to double check all 'gone' issues to ensure they have been truly closed. Or just pull data also for issues Closed in last one hour (or touched last hour).
It's larger work item and may need redesign of how we're getting data from GitHub (currently we pull all open issues every hour).
The text was updated successfully, but these errors were encountered: