GitHub / agda/agda-pkg committers
Last synced: 16 days ago
Total Commits: 169
Total Committers: 7
Total Bot Commits: 1
Total Bot Committers: 1
Avg Commits per committer: 24.143
Development Distribution Score (DDS): 0.083
Total Committers: 7
Total Bot Commits: 1
Total Bot Committers: 1
Avg Commits per committer: 24.143
Development Distribution Score (DDS): 0.083
Commits in the past year: 0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/agda/agda-pkg
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg
| Name | Commits | |
|---|---|---|
| Jonathan Prieto-Cubides | j****3@u****o | 155 |
| apkgbot | a****t@g****m | 9 |
| merua | 4****a | 1 |
| dependabot[bot] 🤖 | 4****] | 1 |
| Will Badart | w****l@w****m | 1 |
| Mort Yao | m****o@g****m | 1 |
| Brandon Elam Barker | b****r@g****m | 1 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.