Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to master

Excluding merge commits. Limited to 6,000 commits.
Number of commits01234567Apr
Commits
Avg: 1.21 · Max: 7

Tej Chajed

11 commits (tchajed@mit.edu)

Commits0123456Apr
Commits
Avg: 786m · Max: 4

Ralf Jung

6 commits (jung@mpi-sws.org)

Commits0123456Apr
Commits
Avg: 429m · Max: 6