Post #2471789

@filippo@abyssdomain.expert we had the same issue for our projects, it was literally showing no closed PRs. reaching out via support helped (GitHub had to manually rebuild the index for our repo).