proux01 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.
1
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
merged after changes problem found
merged after changes problem found
#544993 rocqide & rocqide-server packages
2026-09-28 · commented · author HugoMartel
merged after changes problem found
merged unchanged
Credit: 2.57, reciprocity 0% (decides listing only; reciprocity is shown, never acted on)
review of #573561 rocqPackages.CertiRocq fix dependency by womeier
2026-10-13 · author pushed, author replied, comment on a changed line, merged · unowned, repeat author ×0.5
0.47 of 0.50
review of #573363 rocqPackages.wasmcert: release 2.2.1 by womeier
2026-10-13 · author pushed, author replied, comment on a changed line, merged · unowned
0.93 of 1.00
review of #566692 rocqPackages.deriving: enable for Rocq 9.2 by arthuraa
2026-09-25 · author replied, comment on a changed line, merged · unowned
0.61 of 1.00
review of #544993 rocqide & rocqide-server packages by HugoMartel
2026-09-21 · author pushed, author replied, comment on a changed line · unowned
0.56 of 1.00