interval committers

Last synced: 2 months ago

Total Commits: 1,257
Total Committers: 11
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 114.273
Development Distribution Score (DDS): 0.359

Commits in the past year: 25
Committers in the past year: 2
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 12.5
Development Distribution Score (DDS) in the past year: 0.04

More repo stats: https://repos.ecosyste.ms/hosts/gitlab.inria.fr/repositories/coqinterval/interval
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/gitlab.inria.fr/repositories/coqinterval%2Finterval

Name	Email	Commits
Guillaume Melquiond	g**d@i**r	806
Erik Martin-Dorel	e**l@i**r	207
Thomas Sibut-Pinote	t**e@i**r	162
Pierre Roux	p**x@o**r	51
Laurent Thery	l**y@i**r	19
Paul Geneau de Lamarliere	p**e@i**r	4
Assia Mahboubi	a**i@i**r	2
Michael Soegtrop	m**p@i**m	2
Paul Geneau	p**e@e**r	2
Enrico Tassi	e**i@i**r	1
Hugo Herbelin	H**n@i**r	1

Excludes empty and merge commits.

Name	Email	Commits
Guillaume Melquiond	g**d@i**r	24
Pierre Roux	p**x@o**r	1

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

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

gitlab.inria.fr / coqinterval/interval committers