Skip to content

chore: publish from staged#1816

Open
theunholyindianmagician-lab wants to merge 1 commit into
github:mainfrom
theunholyindianmagician-lab:copilot/vscode-mpi39z66-3wta
Open

chore: publish from staged#1816
theunholyindianmagician-lab wants to merge 1 commit into
github:mainfrom
theunholyindianmagician-lab:copilot/vscode-mpi39z66-3wta

Conversation

@theunholyindianmagician-lab
Copy link
Copy Markdown

No description provided.

@github-actions github-actions Bot added branched-main PR appears to include plugin files materialized from main targets-main PR targets main instead of staged labels May 23, 2026
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ This PR targets main, but PRs should target staged.

The main branch is auto-published from staged and should not receive direct PRs.
Please close this PR and re-open it against the staged branch.

You can change the base branch using the Edit button at the top of this PR,
or run: gh pr edit 1816 --base staged

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

Labels

branched-main PR appears to include plugin files materialized from main targets-main PR targets main instead of staged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant