jthulhu not listed: 1 of 3 authors
Evidence, not a verdict. Maintainer Mode grants nothing; nixpkgs committers do. Reviews in the synced data: the last 60 days and every open pull request.
2
merged unchanged after their review
a committer merged it later, with no push after the review
0
problems found
the author changed the pull request after their review asked for it
Last 50 reviews, and what came of each
#573851 lean4: 4.34.1 -> 4.35.0
2026-10-14 · approved · author i-love-lean
open
merged unchanged
merged unchanged
Reviewed alongside