Skip to content

Run extension tagging on main - #64209

Open
Jake Bailey (jakebailey) wants to merge 2 commits into
microsoft:mainfrom
jakebailey:fix-vscode-typescript-tag-checkout
Open

Run extension tagging on main#64209
Jake Bailey (jakebailey) wants to merge 2 commits into
microsoft:mainfrom
jakebailey:fix-vscode-typescript-tag-checkout

Conversation

@jakebailey

Copy link
Copy Markdown
Member

This was wrong in #64139, due to GitHub security changes.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🟡 Changes recommended

The validation still permits adding a privileged pull_request trigger.

Once you've addressed the issues Copilot identified, you can request another Copilot review.

Pull request overview

Moves VS Code extension tagging to trusted pushes on main.

Changes:

  • Replaces pull_request_target with a filtered push trigger.
  • Updates checkout, concurrency, and workflow validation.
File summaries
File Description
Herebyfile.mjs Validates the tagging workflow trigger.
.github/workflows/tag-vscode-typescript.yml Tags extension releases after version bumps reach main.
Review details
  • Files reviewed: 2/2 changed files
  • Comments generated: 1
  • Review effort level: Balanced

💡 Add a code-review agent skill for context-aware, tailored reviews. Learn more in the docs.

Comment thread Herebyfile.mjs Outdated
}
}
const tagWorkflow = fs.readFileSync("./.github/workflows/tag-vscode-typescript.yml", "utf8");
if (!tagWorkflow.includes(" push:\n branches: [main]") || tagWorkflow.includes("pull_request_target") || tagWorkflow.includes("allow-unsafe-pr-checkout")) {

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

To be honest this would never happen and the workflow doesn't really need to check this

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

Labels

Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

Status: Not started

Development

Successfully merging this pull request may close these issues.

2 participants