Ecosyste.ms: Commits
An open API service providing commit metadata for open source projects.
GitHub / coq/roadmaps committers
Last synced: 4 months ago
Total Commits: 52
Total Committers: 8
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 6.5
Development Distribution Score (DDS): 0.365
Total Committers: 8
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 6.5
Development Distribution Score (DDS): 0.365
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/coq/roadmaps
JSON API: https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Froadmaps
| Name | Commits | |
|---|---|---|
| Maxime Dénès | m****l@m****r | 33 |
| Matthieu Sozeau | m****m@m****g | 7 |
| Emilio Jesus Gallego Arias | e****t@x****g | 3 |
| Théo Zimmermann | t****n@u****r | 3 |
| Enrico | g****s@f****g | 2 |
| Pierre-Marie Pédrot | p****t@i****r | 2 |
| Jason Gross | j****9@g****m | 1 |
| Tom Prince | t****e@t****m | 1 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.