Zimmi48 listed
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.
0
merged unchanged after their review
a committer merged it later, with no push after the review
3
problems found
the author changed the pull request after their review asked for it
Last 50 reviews, and what came of each
#562998 rocqPackages.{json,parsec}: support Rocq 9.2
2026-10-13 · approved · author i-love-lean
merged by the reviewer
#571049 rocqPackages.actris: new package
2026-10-13 · approved · author chandradeepdey
merged by the reviewer
#544993 rocqide & rocqide-server packages
2026-09-21 · commented · author HugoMartel
merged by the reviewer problem found
merged by the reviewer
changed after review problem found
#113661 lib: etc
2021-06-10 · commented · author CohenCyril
changed after review problem found
Credit: 2.74, reciprocity 0% (decides listing only; reciprocity is shown, never acted on)
review of #562998 rocqPackages.{json,parsec}: support Rocq 9.2 by i-love-lean
2026-10-13 · merged · unowned
0.93 of 1.00
0.93 of 1.00
review of #544993 rocqide & rocqide-server packages by HugoMartel
2026-09-11 · author pushed, author replied, comment on a changed line · unowned
0.44 of 1.00
review of #561336 coqPackages: {withPackage,rocq-core} should use coq from the scope by leana8959
2026-09-09 · merged · unowned
0.42 of 1.00
review of #224110 coq: add support for -native-compiler yes by Alizter
2023-04-06 · author pushed, comment on a changed line · picked fresh ×0.5
0.00 of 0.50
review of #113661 lib: etc by CohenCyril
2021-06-10 · author pushed, author replied, comment on a changed line
0.00 of 1.00