Support resuming of GitHub PR sync process #41529
Description
Describe the proposed change(s).
- This follow-up for the merged PR: feat(github): Make PR cache sync max pages configurable #41493
Currently, for too many PRs, the implementation just times out and never fetches the rest.
Additional in-sync state could be added to resume sync between runs, to eventually catch up.