Ecosyste.ms: Commits

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

GitHub / coq/repo-stable-disabled committers

Last synced: 4 months ago

Total Commits: 238
Total Committers: 14
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 17.0
Development Distribution Score (DDS): 0.231

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

Name	Email	Commits
Guillaume Claret	d**v@c**e	183
Guillaume Melquiond	g**d@i**r	12
Thomas Braibant	t**t@i**r	10
Cyril Cohen	c**n@c**g	8
gregory malecha	g**a@c**u	5
Frédéric Blanqui	f**i@i**r	3
Matthieu Sozeau	m**m@m**g	3
Thomas Braibant	t**t@g**m	3
Vadim Zaliva	l**d@c**g	3
Frédéric Besson	f**n@i**r	2
Guillaume Claret	g**e@c**e	2
thery	t**y@s**r	2
Bas Spitters	b**s@g**m	1
Maxime Dénès	m**l@m**r	1

Excludes empty and merge commits.

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