Contributions

Shaping the tools I use every day, one pull request at a time

A hand-picked selection: only the contributions worth reading about, not every merged pull request.

512+
Merged pull requests
40
Projects contributed to
357+
Pull requests reviewed
10
Years contributing

Only merged work is listed here, and only the parts worth a comment — the full history, including everything still in review, lives on GitHub.