Ecosyste.ms: Commits

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

GitHub / coq/coq.github.io committers

Last synced: about 7 hours ago

Total Commits: 1,537
Total Committers: 65
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 23.646
Development Distribution Score (DDS): 0.714

Commits in the past year: 15
Committers in the past year: 7
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 2.143
Development Distribution Score (DDS) in the past year: 0.8

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/coq/coq.github.io
JSON API: https://commits.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq.github.io

Name	Email	Commits
coq-www	c**w@i**r	439
dcousineau	c**u@l**r	307
herbelin	h**n@l**r	213
Maxime Dénès	m**l@m**r	68
Pierre Letouzey	p**y@i**r	67
Yves Bertot	Y**t@i**r	34
Théo Zimmermann	t**n@i**r	34
Théo Zimmermann	t**n@u**r	32
tassi	t**i@l**r	31
Hugo Herbelin	H**n@i**r	29
Théo Zimmermann	t**n@t**r	28
Matthieu Sozeau	m**m@m**g	27
Karl Palmskog	p**g@g**m	20
Guillaume Claret	d**v@c**e	15
Vincent Laporte	V**e@f**r	14
Maxime Dénès	m**s@i**r	12
Julien Narboux	j**n@n**r	11
Enrico Tassi	g**s@f**g	11
adamc	a**c@c**u	10
Guillaume Melquiond	g**d@i**r	10
Lysxia	l**a@g**m	10
Ali Caglayan	a**r@g**m	10
Matthieu Sozeau	m**u@i**r	8
Enrico Tassi	E**i@I**r	7
Gaëtan Gilbert	g**t@s**t	7
assia	a**i@i**r	6
boutillier	p**r@p**r	6
Pierre-Marie Pédrot	p**t@i**r	6
sozeau	m**u@g**m	5
Paul Steckler	s**k@s**m	4
Gabriel Scherer	g**r@g**m	4
Cyril Cohen	C****l	3
Enrico Tassi	E**i@i**r	3
Yves Bertot	y**t@i**r	3
Vincent Laporte	v****l	2
Arnaud Spiwack	a**d@s**t	2
Björn Brandenburg	b**b@m**g	2
Maxime Dénès	m**s@f**r	2
Michael Nahas	m**e@n**m	2
Pierre Roux	p**x@o**r	2
Pierre-Yves Strub	p**s@s**u	2
Robbert Krebbers	m**l@r**l	2
Tej Chajed	t**d@m**u	2
Vincent Laporte	V**e@i**r	2
Yves Bertot	b**t@r**r	2
bernardo	b**o@l**r	2
Assia Mahboubi	A**i@i**r	1
modem_down	s****r	1
Ken Sonoda	k****a	1
Cyril Cohen	b**u@c**g	1
Emilio Jesús Gallego Arias	e**t@x**g	1
Huỳnh Trần Khanh	q**b@g**m	1
Jason Gross	j**9@g**m	1
Jean-Marc Notin	j**n@g**m	1
Jim Fehrle	j**e@s**t	1
Julien Narboux	J**n@n**r	1
Matt Quinn	m**t@m**m	1
Nikita Eshkeev	k**m@g**m	1
Pierre Courtieu	P**u@c**r	1
Ryan Kavanagh	r**k@r**c	1
Théo Zimmermann	t**i@g**m	1
Vincent Jacques	v**t@v**t	1
William Lawvere	m**e@g**m	1
thery	L**y@i**r	1
whonore	w**e@g**m	1

Excludes empty and merge commits.

Name	Email	Commits
Gabriel Scherer	g**r@g**m	3
Gaëtan Gilbert	g**t@s**t	3
Théo Zimmermann	t**n@t**r	3
Björn Brandenburg	b**b@m**g	2
Pierre Roux	p**x@o**r	2
Enrico Tassi	E**i@i**r	1
Matthieu Sozeau	m**u@i**r	1

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