Skip to content

[cmd-bot] Use cmd-bot branch for script execution#10672

Merged
alvicsam merged 3 commits intomasterfrom
as-fix-cmd-bot
Dec 17, 2025
Merged

[cmd-bot] Use cmd-bot branch for script execution#10672
alvicsam merged 3 commits intomasterfrom
as-fix-cmd-bot

Conversation

@alvicsam
Copy link
Copy Markdown
Contributor

PR changes behaviour of cmd-bot so it uses cmd-bot branch for cmd-bot scripts when an external contributor runs a command.

cc #10394
cc https://github.com/paritytech/devops/issues/4663

@alvicsam alvicsam requested review from a team as code owners December 17, 2025 09:01
@alvicsam alvicsam added the R0-no-crate-publish-required The change does not require any crates to be re-published. label Dec 17, 2025
@alvicsam alvicsam added this pull request to the merge queue Dec 17, 2025
Merged via the queue into master with commit db7d6d1 Dec 17, 2025
207 of 212 checks passed
@alvicsam alvicsam deleted the as-fix-cmd-bot branch December 17, 2025 12:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

R0-no-crate-publish-required The change does not require any crates to be re-published.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants