Comment by versecafe

As far as I'm aware this is now the largest public repo to get synced between GitHub and another platform at ~18k PRs, ~4k issues, and over 200k total items between checks, comments, prs, reviews, etc