Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 00d220b73e85773610d4a407c32fb0d5f3218195

Excluding merge commits. Limited to 6,000 commits.
Number of commits0369121518JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 1.47 · Max: 18

Jacques-Henri Jourdan

240 commits (jacques-henri.jourdan@normalesup.org)

Commits03691214JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 486m · Max: 8

Ralf Jung

207 commits (jung@mpi-sws.org)

Commits03691214JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 419m · Max: 11

Ralf Jung

133 commits (post@ralfj.de)

Commits03691214JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 269m · Max: 14

Robbert Krebbers

81 commits (mail@robbertkrebbers.nl)

Commits03691214JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 164m · Max: 7

Jacques-Henri Jourdan

64 commits (jjourdan@mpi-sws.org)

Commits03691214JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 130m · Max: 7

Joshua Yanovski

1 commit (pythonesque@gmail.com)

Commits03691214JulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2017
Commits
Avg: 2.02m · Max: 1