Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 8968f2c18233563e6a76cb7a12a75e6d2df44b45

Excluding merge commits. Limited to 6,000 commits.
Number of commits03691215Dec2016
Commits
Avg: 1.77 · Max: 14

Robbert Krebbers

81 commits (mail@robbertkrebbers.nl)

Commits03691214Dec2016
Commits
Avg: 1.45 · Max: 14

Ralf Jung

18 commits (post@ralfj.de)

Commits03691214Dec2016
Commits
Avg: 321m · Max: 11