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

[Feature Request] October PR User Stats Command #6

Closed
4 tasks done
sco1 opened this issue Oct 4, 2018 · 3 comments
Closed
4 tasks done

[Feature Request] October PR User Stats Command #6

sco1 opened this issue Oct 4, 2018 · 3 comments
Labels
status: approved The issue has received a core developer's approval

Comments

@sco1
Copy link
Contributor

sco1 commented Oct 4, 2018

Hacktoberfest provides both a global statistics page (which seems broken atm) and a per-user statistics page summarizing PR contributions during the event.

This proposed feature:

  • Query GitHub's API for user PR contributions during the month of October
  • Generate user statistics similar to those displayed by Hacktoberfest
  • Generate an embed and sends to the #event-hacktoberfest channel
  • Utilize an asynchronous request

User stats example:
image

@sco1
Copy link
Contributor Author

sco1 commented Oct 4, 2018

A proof of concept cog has been generated, pending request review & approval:

image

@lemonsaurus
Copy link
Member

this looks great, @sco1, can't see the pull request anywhere, though? Would be happy to review it.

@lemonsaurus lemonsaurus added the status: approved The issue has received a core developer's approval label Oct 4, 2018
@lemonsaurus
Copy link
Member

Closing the issue as this has already been merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status: approved The issue has received a core developer's approval
Projects
None yet
Development

No branches or pull requests

4 participants