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 | 1579 | 104 | 539 |
| 2 | CEO'sceosisrael | 32 | 3 | 2 |
Reviewers
| Rank | Reviewer | Approvals | Points |
|---|---|---|---|
| 1 | bobikobi | 2 | 10 |
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
Players with an account: unknown.
The players board opens with accounts.