Skip to content

Leaderboards#227

Merged
incinn merged 29 commits into
mainfrom
feature/225-leaderboards
May 21, 2026
Merged

Leaderboards#227
incinn merged 29 commits into
mainfrom
feature/225-leaderboards

Conversation

@incinn

@incinn incinn commented May 21, 2026

Copy link
Copy Markdown
Member
  • adds leaderboard command
    • adds score leaderboard type
    • adds ingot leaderboard type
  • adds useful description text to add_remove_ingots output
  • adds support for embeds without a colour
  • adds flag to get_all_active_members method to optionally exclude prospects
  • update ingots command to not show transactions before members joined date
  • update readme
  • update project dependencies
  • fix broken make commands
  • fix swallowed exceptions during automation startup
  • fix timezone definition in automation setup
  • fix width bug in add_remove_ingots
  • fix potential null reference in ingots command

closes #225

@incinn incinn merged commit 99cb251 into main May 21, 2026
3 checks passed
@incinn incinn deleted the feature/225-leaderboards branch May 21, 2026 20:21
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.

Add internal leaderboards

2 participants