GitHub / agda/tasty-silver committers
A fancy test runner for tasty and support for golden tests.
Last synced: 3 days ago
Total Committers: 10
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 24.1
Development Distribution Score (DDS): 0.631
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 6.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/agda/tasty-silver
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Ftasty-silver
| Name | Commits | |
|---|---|---|
| Philipp Hausmann | p****t@3****h | 89 |
| Roman Cheplyaka | r****a@r****o | 84 |
| Andreas Abel | a****l@i****e | 58 |
| Craig Roy | c****y@s****k | 3 |
| Felix Yan | f****s@a****g | 2 |
| Philipp Hausmann | p****n@f****h | 1 |
| Niklas Hambüchen | m****l@n****e | 1 |
| Liang-Ting Chen | l****w@g****m | 1 |
| Kirill Zaborsky | q****a@g****m | 1 |
| Andrés Sicard-Ramírez | a****r@e****o | 1 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Andreas Abel | a****l@i****e | 6 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.