Comment by carreau

It's going to be a month since GitHub incident, a number of repos still do not show all pull requests with a few repos still missing dozens and the UI showing different counts in different places. GitHub support now autoclose report in minutes and does not fix it.