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
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

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 Email 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.