bot committers

The Rocq Prover bot

Last synced: 9 days ago

Total Commits: 953
Total Committers: 15
Total Bot Commits: 11
Total Bot Committers: 1
Avg Commits per committer: 63.533
Development Distribution Score (DDS): 0.508

Commits in the past year: 89
Committers in the past year: 5
Bot Commits in the past year: 11
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 17.8
Development Distribution Score (DDS) in the past year: 0.225

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/rocq-prover/bot
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-prover%2Fbot

Name	Email	Commits
Théo Zimmermann	t**n@t**r	469
Julien Coolen	j**n@p**e	239
Jason Gross	j**s@m**u	97
kim.ly	k**y@t**r	69
Ali Caglayan	a**r@g**m	30
Gaëtan Gilbert	g**t@s**t	17
copilot-swe-agent[bot] 🤖	1****t	11
Pierre-Marie Pédrot	p**t@i**r	8
Mattias	5****p	4
Erik Martin-Dorel	e**l@i**r	3
Emilio Jesús Gallego Arias	e**@x**g	2
Wenceslao Mateos	w**s@g**m	1
Maxime Dénès	m**l@m**r	1
Joseph Price	p**d@g**m	1
Hannes Mehnert	h**s@m**g	1

Excludes empty and merge commits.

Name	Email	Commits
kim.ly	k**y@t**r	69
copilot-swe-agent[bot] 🤖	1****t	11
Théo Zimmermann	t**n@t**r	5
Jason Gross	j**s@m**u	2
Gaëtan Gilbert	g**t@s**t	2

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

GitHub / rocq-prover/bot committers