Ecosyste.ms: Commits
An open API service providing commit metadata for open source projects.
GitHub / coq/repo-unstable-disabled committers
Last synced: 4 months ago
Total Commits: 264
Total Committers: 11
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 24.0
Development Distribution Score (DDS): 0.284
Total Committers: 11
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 24.0
Development Distribution Score (DDS): 0.284
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/repo-unstable-disabled
JSON API: https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Frepo-unstable-disabled
Name | Commits | |
---|---|---|
Guillaume Claret | d****v@c****e | 189 |
Bas Spitters | b****s@g****m | 21 |
Guillaume Melquiond | g****d@i****r | 18 |
Matthieu Sozeau | m****m@m****g | 10 |
thery | t****y@s****r | 10 |
Bendy | b****y@c****u | 5 |
Hugo Herbelin | H****n@i****r | 4 |
Chantal Keller | C****r@i****r | 2 |
Enrico Tassi | g****s@f****g | 2 |
Pierre-Yves Strub | p****s@s****u | 2 |
Beta Ziliani | b****a@m****g | 1 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.