Ecosyste.ms: Commits

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

GitHub / coq/bot committers

Last synced: 4 months ago

Total Commits: 839
Total Committers: 13
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 64.538
Development Distribution Score (DDS): 0.471

Commits in the past year: 67
Committers in the past year: 5
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 13.4
Development Distribution Score (DDS) in the past year: 0.463

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/coq/bot
JSON API: https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fbot

Name	Email	Commits
Théo Zimmermann	t**n@t**r	444
Julien Coolen	j**n@p**e	239
Jason Gross	j**s@m**u	95
Ali Caglayan	a**r@g**m	30
Gaëtan Gilbert	g**t@s**t	10
Pierre-Marie Pédrot	p**t@i**r	8
Mattias	5****p	4
Erik Martin-Dorel	e**l@i**r	3
Emilio Jesús Gallego Arias	e**@x**g	2
Hannes Mehnert	h**s@m**g	1
Joseph Price	p**d@g**m	1
Maxime Dénès	m**l@m**r	1
Wenceslao Mateos	w**s@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Théo Zimmermann	t**n@t**r	36
Jason Gross	j**s@m**u	26
Erik Martin-Dorel	e**l@i**r	2
Gaëtan Gilbert	g**t@s**t	2
Hannes Mehnert	h**s@m**g	1

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.