Contributors

Ranked by merged pull requests — the thing that actually moves the project. Lines changed is shown because people like seeing it, but it is never what decides the order: that would reward a big reformatting commit over a twelve-line fix to a race condition.