Feature request: Add MR priority support
Suppose I have 5 MRs assigned to marge-bot, it'll by default pick the oldest one. However, if one is urgent and should be merged before others, currently there's no way to specify the sequence.
I would suggest such change:
After getting all MR lists, check if any of them has label merge_first. If so, merge it first. Otherwise, merge the oldest one.
It could be an idea to allow the configuration of arbitrary labels, perhaps with the priority being set based on the order in which they are specified?
I would agree with @benjamb. I also think it should be optional, as there may be situations where we don't want this behaviour, as it could be easily abused by someone to always take priority over others.
Priority merge requests also tend to be excluded from batches. Does marge-bot support individually suppressing batching for a specific merge request?