Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to a6dcc81cbe22d1f2c1ba060d820972a18026c830

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

Dan Frumin

180 commits (dfrumin@cs.ru.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMay201920202021
Commits
Avg: 202m · Max: 8

Ralf Jung

49 commits (jung@mpi-sws.org)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMay201920202021
Commits
Avg: 55m · Max: 4

Robbert Krebbers

44 commits (mail@robbertkrebbers.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMay201920202021
Commits
Avg: 49.4m · Max: 3

Dan Frumin

3 commits (dan@groupoid.moe)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMay201920202021
Commits
Avg: 3.37m · Max: 2

Ralf Jung

1 commit (post@ralfj.de)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMay201920202021
Commits
Avg: 1.12m · Max: 1