Skip to content

Revert "chore: detect the channel a PR wants to merge into"#12204

Merged
bors merged 1 commit intomasterfrom
revert-12181-which-channel-backport
May 31, 2023
Merged

Revert "chore: detect the channel a PR wants to merge into"#12204
bors merged 1 commit intomasterfrom
revert-12181-which-channel-backport

Commits

Commits on May 30, 2023