Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 6e276ebaf02a707d568aef765ae9a84af7ca8aaf

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

Dan Frumin

184 commits (dfrumin@cs.ru.nl)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov2019202020212022
Commits
Avg: 128m · Max: 8

Ralf Jung

67 commits (jung@mpi-sws.org)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov2019202020212022
Commits
Avg: 46.5m · Max: 4

Robbert Krebbers

49 commits (mail@robbertkrebbers.nl)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov2019202020212022
Commits
Avg: 34m · Max: 3

Dan Frumin

9 commits (dan@groupoid.moe)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov2019202020212022
Commits
Avg: 6.24m · Max: 2

Ralf Jung

1 commit (post@ralfj.de)

Commits02468MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov2019202020212022
Commits
Avg: 693μ · Max: 1