Contributor analytics
Commits to wip/ci
Excluding merge commits. Limited to 6,000 commits. Commits
Matthew Pickering
398 commits (matthewtpickering@gmail.com)
Commits
Sven Tennie
27 commits (sven.tennie@gmail.com)
Commits
David Eichmann
24 commits (eichmannd@gmail.com)
Commits
Ben Gamari
18 commits (ben@smart-cactus.org)
Commits
Andres Loeh
5 commits (andres@well-typed.com)
Commits
Alexander Vershilov
3 commits (alexander.vershilov@gmail.com)
Commits
Finley McIlwaine
2 commits (finleymcilwaine@gmail.com)
Commits
Teo Camarasu
2 commits (teofilcamarasu@gmail.com)
Commits
Ryan Scott
1 commit (rscott@galois.com)
Commits
Ryan Scott
1 commit (ryan.gl.scott@gmail.com)
Commits
Ethan Kiang
1 commit (chocopuff298@gmail.com)
Commits
Brandon Simmons
1 commit (brandon.m.simmons@gmail.com)
Commits
Joachim Breitner
1 commit (mail@joachim-breitner.de)
Commits
Oliver Breitwieser
1 commit (oliver.breitwieser@kip.uni-heidelberg.de)
Commits