Ecosyste.ms: Commits

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

GitHub / coq/rfcs committers

Last synced: 4 months ago

Total Commits: 101
Total Committers: 21
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 4.81
Development Distribution Score (DDS): 0.851

Commits in the past year: 16
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: 3.2
Development Distribution Score (DDS) in the past year: 0.375

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

Name	Email	Commits
Théo Zimmermann	t**n@t**r	15
Enrico Tassi	E**i@I**r	13
Erik Martin-Dorel	e**l@i**r	11
Pierre-Marie Pédrot	p**t@i**r	11
Enrico	g**s@f**g	10
Enrico Tassi	E**i@i**r	9
Jason Gross	j**9@g**m	6
Hugo Herbelin	H**n@i**r	5
Emilio Jesus Gallego Arias	e**t@x**g	3
Andres Erbsen	a**s@k**g	2
Gabriel Scherer	g**r@g**m	2
Gaëtan Gilbert	g**t@s**t	2
Jim Fehrle	j**e@g**m	2
Laurent Théry	t**y@s**r	2
letouzey	p**y@i**r	2
Meven Lennon-Bertrand	5****d	1
Julin S	4****h	1
Jonathan Leivent	j****t	1
Jason Gross	j**s@m**u	1
Pierre-Marie Pédrot	p**t@i**r	1
Théo Zimmermann	t**n@u**r	1

Excludes empty and merge commits.

Name	Email	Commits
Théo Zimmermann	t**n@t**r	10
Enrico Tassi	E**i@i**r	2
Gabriel Scherer	g**r@g**m	2
Gaëtan Gilbert	g**t@s**t	1
Meven Lennon-Bertrand	5****d	1

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