search

channable / hoff

A gatekeeper for your commits
Apache License 2.0
41 stars 3 forks source link

Add `with priority` option to jump the merge train with high priority #260

Closed musicismyalibi closed 6 months ago

musicismyalibi commented 6 months ago

Adds the possibility to jump the merge train. This can be done by adding with priority at the end of the merge command, for example like this: @bot merge and deploy to producton with priority This will put this PR at the front of the merge train and cancel the integration of the current PRs. If it is a tag it will also add the priority to the tag description for further use. Resolves #259

musicismyalibi commented 6 months ago

@OpsBotPrime merge

OpsBotPrime commented 6 months ago

Pull request approved for merge by @musicismyalibi, rebasing now.

OpsBotPrime commented 6 months ago

Failed to rebase, please rebase manually using

git fetch && git rebase --interactive --autosquash origin/master jump-merge-train
musicismyalibi commented 6 months ago

@OpsBotPrime merge

OpsBotPrime commented 6 months ago

Pull request approved for merge by @musicismyalibi, rebasing now.

OpsBotPrime commented 6 months ago

Rebased as 596b88cd876ecd2e1b5f3b8f041f2738fd2c2399, waiting for CI …

OpsBotPrime commented 6 months ago

CI job :yellow_circle: started.