Closed robbert-vdh closed 1 year ago
Thanks! @OpsBotPrime merge
Your merge request has been denied, because merging on Fridays is not recommended. To override this behaviour use the command merge on Friday
.
@OpsBotPrime merge on friday
Pull request approved for merge by @robbert-vdh, rebasing now.
Rebased as f9e222ad7a4ee6d20764ce32857a1e6e6ed9dd83, waiting for CI …
CI job :yellow_circle: started.
This only happens in a somewhat exotic setup where external automation causes the bot's account to tag itself to initiate a merge. Right now this will result in a harmless but still somewhat unexpected parser failure message. This PR fixes that by just preventing any feedback message from triggering a merge command.