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).
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).