Developer area
Boards
Points come from the repository's history: the records a builder added and the commits that were merged.
Builders
| Rank | Builder | Points | Records | Commits |
|---|---|---|---|---|
| 1 | Eladcore | 855 | 68 | 175 |
Reviewers
No approval has counted yet: a reviewer earns points when a proposal they approved is merged.
How points are counted
points = 10 x records + 1 x commits; reviewer points = 5 x approvals
The weights are set in .github/points.json.
Players
The players board opens with accounts.