Ecosyste.ms: Commits

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

GitHub / coq/ltac2 committers

Last synced: 11 months ago

Total Commits: 316
Total Committers: 17
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 18.588
Development Distribution Score (DDS): 0.177

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

Name	Email	Commits
Pierre-Marie Pédrot	p**t@i**r	260
Emilio Jesus Gallego Arias	e**t@x**g	20
Hugo Herbelin	H**n@i**r	9
Maxime Dénès	m**s@i**r	5
Gaëtan Gilbert	g**t@s**t	3
Théo Zimmermann	t**n@u**r	3
Armael	a**l@i**e	2
Enrico Tassi	g**s@f**g	2
Langston Barrett	l**t@g**m	2
Maxime Dénès	m**l@m**r	2
Pierre Roux	p**e@r**r	2
Enrico Tassi	E**i@I**r	1
James R. Wilcox	j**2@c**u	1
Jason Gross	j**9@g**m	1
Jason Gross	j**s@m**u	1
Vincent Laporte	V**e@f**r	1
gallais	g**s@e**g	1

Excludes empty and merge commits.

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