Maintainers Add these PR labels in your repos #3
Yuvraj-Sarathe
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Maintainer Guide: PR Labels & Point Awards
How Automated Point Awards Work
The system depends on PR labels to determine what to award. Without
the right labels, no points are given.
Label Format
Labels must follow this exact format:
For example:
frontend:impbackend:fienddocs:overlordideas:demon kingValid Families
frontendbackenddocsideascommunityValid Tiers
impfiendoverlorddemon kingSetting Up Labels
1. Create the labels in your repository
Go to your GitHub repo → Issues → Labels → New label.
Create all 20 label combinations:
2. Apply labels to PRs
When reviewing a PR, add the appropriate label based on the contribution.
Examples:
frontend:impfrontend:impbackend:fiendbackend:impdocs:impdocs:fiendideas:impcommunity:fiendcommunity:overlord3. Merge the PR
Once the label is applied, merge the PR. GitHub sends a webhook to
the application, and points are awarded automatically.
How Points Accumulate
Points are additive within each family. When a contributor's total crosses
a threshold, a badge row is created automatically.
Example progression for Frontend:
frontend:impfrontend:impfrontend:impfrontend:fiendfrontend:fiendfrontend:overlordImportant Notes
— the webhook processes the PR's labels at merge time.
uses the first one it finds.
are not re-awarded.
for that PR. You can manually insert contributions via the database
if needed.
Manual Award (Database)
If a PR was merged without a label, or you need to correct points,
you can insert a contribution directly but will need to contact @Yuvraj-Sarathe to edit sql file and database.
Verifying Awards
After merge:
Questions? Reach out to the project admin or open an issue.
Related Documents
All reactions