Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 44ca81fded28e7844fca7da4fa86fd6cafe247f8

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

Dan Frumin

161 commits (dfrumin@cs.ru.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMay20192020
Commits
Avg: 307m · Max: 8

Robbert Krebbers

25 commits (mail@robbertkrebbers.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMay20192020
Commits
Avg: 47.6m · Max: 3

Ralf Jung

21 commits (jung@mpi-sws.org)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMay20192020
Commits
Avg: 40m · Max: 4

Ralf Jung

1 commit (post@ralfj.de)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMay20192020
Commits
Avg: 1.9m · Max: 1