xhalo32 not listed: 2 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
#566690 lean4: 4.30.0 -> 4.34.1
2026-09-25 · approved · author i-love-lean
merged unchanged
merged unchanged