| 16 May 2025 |
hexa | The change does not look breaking to me, so it can in fact be merged before (or even after) branch-off. | 10:49:49 |
Arian | If the problem is to get something merged after approval; why not use the merge bot? | 10:50:44 |
hexa | The merge-bot only works for PRs created by r-ryantm | 11:05:48 |
hexa | * The merge-bot only works for PRs and changes created by r-ryantm | 11:05:57 |
hexa | The issue is IMO that the change has been sitting too long already. | 11:11:33 |
hexa | And for no good reason. | 11:11:44 |
emily | it actually works for all PRs now | 11:49:42 |
emily | but I think only for by-name packages, not modules | 11:49:48 |
hexa | That is news to me | 11:50:45 |
emily | I think it is long past due for m1cr0man to get commit bit tbh (and I am sorry for not putting more time into ACME the past few years, though I do still look at/sometimes comment on PRs) | 11:50:48 |
emily | it was not announced super loudly :) | 11:50:56 |
emily | oh, maybe it's only PRs made by committers: https://discourse.nixos.org/t/nixpkgs-merge-bot-committer-pull-request-merge-strategy/58227 | 11:51:19 |
emily | put a nomination up https://github.com/NixOS/nixpkgs/issues/321665#issuecomment-2886516818 | 11:58:10 |