Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 7e770adaa0d0755ea9e8d38fb1b43a7faae6e6f6

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

Dan Frumin

180 commits (dfrumin@cs.ru.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDec20192020
Commits
Avg: 247m · Max: 8

Ralf Jung

42 commits (jung@mpi-sws.org)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDec20192020
Commits
Avg: 57.6m · Max: 4

Robbert Krebbers

40 commits (mail@robbertkrebbers.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDec20192020
Commits
Avg: 54.9m · Max: 3

Ralf Jung

1 commit (post@ralfj.de)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDec20192020
Commits
Avg: 1.37m · Max: 1