Contributor analytics
Commits to Paul_Marius_Level
Excluding merge commits. Limited to 6,000 commits. Commits
ComFreek
59 commits (comfreek@outlook.com)
Commits
Paul-Walcher
33 commits (paulwalcher12@gmail.com)
Commits
Marius Kern
16 commits (mariusskern@gmail.com)
Commits
Lucas
15 commits (lucas.heublein@t-online.de)
Commits
Paul-Walcher
13 commits (ethicalmonk@proton.me)
Commits
Dennis Müller
7 commits (d.mueller@kwarc.info)
Commits
Navid Roux
6 commits (navid.roux@fau.de)
Commits
Bjoern Esswein
3 commits (438-bessw@users.noreply.gl.mathhub.info)
Commits
ki7077
3 commits (58886967+ki7077@users.noreply.github.com)
Commits
Marcel Dreier
3 commits (marcelqq7@gmail.com)
Commits
Michael Kohlhase
3 commits (michael.kohlhase@fau.de)
Commits
bBoesl
3 commits (b.boesl@gmx.de)
Commits
SESch93
1 commit (john.schihada@hotmail.com)
Commits