Had more issues with this today, respos stopped syncing and the github app disappeared in my account. Had to go re-add it, and now my dashboard is showing old PR statuses (e.g. showing open PRs when they have been closed). If I go and open the PR the state gets corrected, but I need to manually do it for everything in my dashboard. It also looks like there's quite a few PRs missing