Skip to content

feat(github-cli): support pinning extensions to a tag via owner/repo:tag - #1734

Open
Ryosuke Hiroe (rhiroe) wants to merge 1 commit into
devcontainers:mainfrom
rhiroe:github-cli-pin-extension-tag
Open

feat(github-cli): support pinning extensions to a tag via owner/repo:tag#1734
Ryosuke Hiroe (rhiroe) wants to merge 1 commit into
devcontainers:mainfrom
rhiroe:github-cli-pin-extension-tag

Conversation

@rhiroe

Copy link
Copy Markdown
Contributor

Allows extensions entries like github/gh-stack:v1.0.0 to install a pinned version, passing --pin to gh extension install and --branch to the git clone fallback.

@rhiroe
Ryosuke Hiroe (rhiroe) requested a review from a team as a code owner September 9, 2026 04:45
Allows `extensions` entries like `github/gh-stack:v1.0.0` to install a
pinned version, passing `--pin` to `gh extension install` and
`--branch` to the git clone fallback.
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.

1 participant