Skip to content

Implement user filtering for leaderboard#7

Merged
naheel0 merged 1 commit intomainfrom
leaderboard
Mar 9, 2026
Merged

Implement user filtering for leaderboard#7
naheel0 merged 1 commit intomainfrom
leaderboard

Conversation

@naheel0
Copy link
Copy Markdown
Contributor

@naheel0 naheel0 commented Mar 9, 2026

Added functionality to ignore bots and AI agents in leaderboard generation.

Summary

Changes

Testing

  • Tests added or updated
  • npm test (or equivalent)
  • npm run lint (or equivalent)

Checklist

  • PR title is clear and scoped
  • Linked issue or rationale included
  • Docs updated if needed

Added functionality to ignore bots and AI agents in leaderboard generation.
Co-authored-by: adithyan <adithyanmkd@users.noreply.github.com>
@naheel0 naheel0 merged commit 9dddef5 into main Mar 9, 2026
@naheel0 naheel0 deleted the leaderboard branch March 9, 2026 15:02
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.

1 participant