Skip to content

Update Copilot instructions for winget release process and add publish-to-winget skill documentation#1665

Merged
garrytrinder merged 2 commits into
dotnet:mainfrom
garrytrinder:publish-winget-skill
May 15, 2026
Merged

Update Copilot instructions for winget release process and add publish-to-winget skill documentation#1665
garrytrinder merged 2 commits into
dotnet:mainfrom
garrytrinder:publish-winget-skill

Conversation

@garrytrinder
Copy link
Copy Markdown
Collaborator

No description provided.

Copilot AI review requested due to automatic review settings May 14, 2026 08:23
@garrytrinder garrytrinder requested a review from a team as a code owner May 14, 2026 08:23
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Adds and wires up a new GitHub Copilot “skill” to document the Winget publishing workflow for Dev Proxy, and updates the main Copilot instructions to reference this skill during the release process.

Changes:

  • Added .github/skills/publish-to-winget/SKILL.md documenting an API-driven workflow to create manifests and open a PR against microsoft/winget-pkgs.
  • Updated .github/copilot-instructions.md release guidance to point Winget submissions to the new publish-to-winget skill.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 5 comments.

File Description
.github/skills/publish-to-winget/SKILL.md New skill documentation for creating Winget manifests and submitting a PR via gh + GitHub API.
.github/copilot-instructions.md Updates release instructions to reference the publish-to-winget skill for Winget submissions.

Comment thread .github/skills/publish-to-winget/SKILL.md Outdated
Comment thread .github/skills/publish-to-winget/SKILL.md Outdated
Comment thread .github/skills/publish-to-winget/SKILL.md Outdated
Comment thread .github/skills/publish-to-winget/SKILL.md Outdated
Comment thread .github/skills/publish-to-winget/SKILL.md Outdated
@garrytrinder garrytrinder merged commit 7cf3a23 into dotnet:main May 15, 2026
3 checks passed
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.

3 participants