Add Contributions Command #3
Open
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Hi!
I thought it would be cool to check which problems people have contributed to, and I think whether a user is a contributor to a problem can now be recognised to some extent (though not through the minimal api!) since they will no longer appear on the top solvers list. In a bit more detail:
Get the time the user solved a problem from their recent solves history, is this less than the most recent solver in the top 100 and are they absent from the top solvers list?
The main function added is
is_contributor
:Which the new command basically delegates to.
This PR persists the contributions a user has made, I can only guess the schema from the sql snippets, but I think something along the lines of this should work:
I've been able to test
is_contributor
, but I don't really know enough about discord and it's API to test the levels above that, hopefully this is interesting nontheless.Thanks 🙂