Ecosyste.ms: Commits

An open API service providing commit metadata for open source projects.

GitHub / coq/coq-bench committers

Last synced: 11 months ago

Total Commits: 171
Total Committers: 10
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 17.1
Development Distribution Score (DDS): 0.357

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/coq-bench
JSON API: https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq-bench

Name	Email	Commits
Matej Kosik	m**k@i**r	110
Emilio Jesus Gallego Arias	e**t@x**g	28
Gaëtan Gilbert	g**t@s**t	11
Pierre-Marie Pédrot	p**t@i**r	8
Enrico Tassi	g**s@f**g	6
Jason Gross	j**s@m**u	3
jenkins	j**s@p**r	2
Anton Trunov	a**v@g**m	1
Ralf Jung	p**t@r**e	1
matej kosik	m**k@r**r	1

Excludes empty and merge commits.

This repository has not had any commits in the past year. Excludes empty and merge commits.