Ecosyste.ms: Commits
An open API service providing commit metadata for open source projects.
GitHub / coq/repo-coqs-disabled committers
Last synced: 4 months ago
Total Commits: 80
Total Committers: 7
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 11.429
Development Distribution Score (DDS): 0.488
Total Committers: 7
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 11.429
Development Distribution Score (DDS): 0.488
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-coqs-disabled
JSON API: https://commits.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Frepo-coqs-disabled
| Name | Commits | |
|---|---|---|
| Guillaume Claret | d****v@c****e | 41 |
| Travis CI User | t****s@e****g | 15 |
| Bas Spitters | b****s@g****m | 10 |
| Travis-CI Bot | T****t@t****e | 9 |
| Jason Gross | j****s@m****u | 3 |
| Cyril Cohen | c****n@c****g | 1 |
| Matthieu Sozeau | m****m@m****g | 1 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.