You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 29, 2023. It is now read-only.
@AdityaYadavalli1 thank you ! This is a very important bug since we are weighing / ordering by the sum of open + merged PRs. Hopefully it will be fixed shortly.
Describe the bug
The leaderboard shows wrong open PR count.
To Reproduce
Steps to reproduce the behavior:
Expected behavior
The count of the open PRs should be 2
Screenshots
But I have only 2 open PRs
I have opened a PR and closed it myself. Probably the leaderboard is still counting it as an open PR.
The text was updated successfully, but these errors were encountered: