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 commits012345MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSep2017201820192020
Commits
Avg: 6.35m · Max: 5

Michael Kohlhase

3 commits (michael.kohlhase@fau.de)

Commits0500m11.522.53AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct2017201820192020
Commits
Avg: 1.73m · Max: 1

Michael Kohlhase

3 commits (m.kohlhase@jacobs-university.de)

Commits0500m11.522.53AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct2017201820192020
Commits
Avg: 1.73m · Max: 1

Paul-Olivier Dehaye

3 commits (paul-olivier.dehaye@math.uzh.ch)

Commits0500m11.522.53AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct2017201820192020
Commits
Avg: 1.73m · Max: 3

Michael Kohlhase

1 commit (kohlhase@kwarc.info)

Commits0500m11.522.53AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct2017201820192020
Commits
Avg: 577μ · Max: 1

Mihnea Iancu

1 commit (m.iancu@jacobs-university.de)

Commits0500m11.522.53AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct2017201820192020
Commits
Avg: 577μ · Max: 1