Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Sep 5, 2025

Support backports after a PR has been merged and labelled with backport-active-*.

Fixes a corner case when the PRs have been labeled after being merged with the supported list of active branches.


This is an automatic backport of pull request #367 done by Mergify.

(cherry picked from commit 6f75475)

# Conflicts:
#	.github/workflows/backport-active.yml
Copy link
Author

mergify bot commented Sep 5, 2025

Cherry-pick of 6f75475 has failed:

On branch mergify/bp/8.17/pr-367
Your branch is up to date with 'origin/8.17'.

You are currently cherry-picking commit 6f75475.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Unmerged paths:
  (use "git add/rm <file>..." as appropriate to mark resolution)
	deleted by us:   .github/workflows/backport-active.yml

no changes added to commit (use "git add" and/or "git commit -a")

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant