Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update update_leaderboard.py #14

Merged
merged 3 commits into from
Sep 28, 2023
Merged

Conversation

Odion-Sonny
Copy link
Collaborator

More bugs fixed 😂, I found out that GitHub API only returns the last 30 PRs so I fixed the code so that it return ALL PRs

More bugs fixed :), I found that GitHub API only returns the last 30 PRs so I fixed the code to return ALL PRs
@Sammybams
Copy link
Collaborator

More bugs fixed 😂, I found out that GitHub API only returns the last 30 PRs so I fixed the code so that it return ALL PRs
Oh wow 😂.
Nice work Odion. Thank you very much.

Copy link
Collaborator

@Sammybams Sammybams left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you very much, Odion. Amazing work you are doing.

@Sammybams Sammybams merged commit 5352a22 into mlsanigeria:main Sep 28, 2023
@Odion-Sonny Odion-Sonny deleted the patch-3 branch October 1, 2023 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants