Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 87916dfb1611d6d928c15552e330972b0e1e65c0

Excluding merge commits. Limited to 6,000 commits.
Number of commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20192020202120222023
Commits
Avg: 202m · Max: 8

Dan Frumin

184 commits (dfrumin@cs.ru.nl)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20192020202120222023
Commits
Avg: 119m · Max: 8

Ralf Jung

67 commits (jung@mpi-sws.org)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20192020202120222023
Commits
Avg: 43.5m · Max: 4

Robbert Krebbers

51 commits (mail@robbertkrebbers.nl)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20192020202120222023
Commits
Avg: 33.1m · Max: 3

Dan Frumin

9 commits (dan@groupoid.moe)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20192020202120222023
Commits
Avg: 5.84m · Max: 2

Ralf Jung

1 commit (post@ralfj.de)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20192020202120222023
Commits
Avg: 649μ · Max: 1