Skip to content

Change branch name in promote workflow#428

Merged
nmburgan merged 1 commit into
mainfrom
promote_branch_name
May 7, 2026
Merged

Change branch name in promote workflow#428
nmburgan merged 1 commit into
mainfrom
promote_branch_name

Conversation

@nmburgan
Copy link
Copy Markdown
Member

@nmburgan nmburgan commented May 7, 2026

If you try to promote into both main and 8.x at the same time, you'd end up with a branch name collision for the PR. This adds the target branch to the branch name that is created.

If you try to promote into both main and 8.x at the same time, you'd end up with a branch name collision for the PR. This adds the target branch to the branch name that is created.

Signed-off-by: nmburgan <13688219+nmburgan@users.noreply.github.com>
@nmburgan nmburgan merged commit dc62980 into main May 7, 2026
18 checks passed
@nmburgan nmburgan deleted the promote_branch_name branch May 7, 2026 02:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant