Ecosyste.ms: Commits

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

GitHub / coq/platform committers

Last synced: 4 months ago

Total Commits: 1,150
Total Committers: 25
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 46.0
Development Distribution Score (DDS): 0.154

Commits in the past year: 141
Committers in the past year: 9
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 15.667
Development Distribution Score (DDS) in the past year: 0.348

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

Name	Email	Commits
Michael Soegtrop	7****C	973
Enrico Tassi	E**i@I**r	73
Romain Tetley	r**y@i**r	61
Théo Zimmermann	t**n@i**r	9
Enrico Tassi	E**i@i**r	6
Kartik Singhal	k**l@g**m	4
Karl Palmskog	p**g@g**m	3
Marco Maggesi	1****i	2
Emilio Jesus Gallego Arias	e**t@x**g	2
Paolo G. Giarrusso	p**o@g**m	2
Ralph Matthes	r****s	1
Vilem	1****x	1
Euan Mendoza	b**f@e**v	1
Haneul Choi	c**2@s**r	1
Hicham Omari	h**i@h**m	1
Jason Gross	j**s@m**u	1
Jim Fehrle	j**e@g**m	1
Kaleb Luedtke	t**c@g**m	1
Pedro de Souza Queiroga	p**a@f**r	1
Robin Soegtrop	r**@a**e	1
Tej Chajed	t**d@m**u	1
Théo Zimmermann	t**n@t**r	1
Théo Zimmermann	t**n@u**r	1
Yannick Forster	f**r@p**e	1
Yves Bertot	Y**t@i**r	1

Excludes empty and merge commits.

Name	Email	Commits
Michael Soegtrop	7****C	92
Romain Tetley	r**y@i**r	42
Emilio Jesus Gallego Arias	e**t@x**g	1
Euan Mendoza	b**f@e**v	1
Haneul Choi	c**2@s**r	1
Hicham Omari	h**i@h**m	1
Jim Fehrle	j**e@g**m	1
Théo Zimmermann	t**n@t**r	1
Ralph Matthes	r****s	1

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