Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 9a24440af4c4b03e4f8b9eb65a1b64cb69a8404d

Excluding merge commits. Limited to 6,000 commits.
Number of commits010203040DecFeb2016
Commits
Avg: 3.48 · Max: 37

Robbert Krebbers

198 commits (mail@robbertkrebbers.nl)

Commits010203035DecFeb2016
Commits
Avg: 2.33 · Max: 35

Ralf Jung

92 commits (post@ralfj.de)

Commits010203035DecFeb2016
Commits
Avg: 1.08 · Max: 11

Ralf Jung

6 commits (jung@mpi-sws.org)

Commits010203035DecFeb2016
Commits
Avg: 70.6m · Max: 4