Closed Janik-Haag closed 6 months ago
When does the merge timeout starts to count? ofborg can certainly queue evaluation for longer than that.
I would say after the at NixOS/nixpkgs-merge-bot merge oomment,
What problem are you trying to solve with that feature? That people push commits on a branch while the bot is still waiting for ofborg?
@Janik-Haag any update other wise I would closely this issue.
This is probably more a nice to have, a sane default could be something between 5-10mins.