Skip to content

[pull] main from devcontainers:main - #28

Merged
pull[bot] merged 1 commit into
Jahid11978:mainfrom
devcontainers:main
Aug 19, 2026
Merged

[pull] main from devcontainers:main#28
pull[bot] merged 1 commit into
Jahid11978:mainfrom
devcontainers:main

Conversation

@pull

@pull pull Bot commented Aug 19, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )


Summary by cubic

Enables installing private GitHub CLI extensions in the github-cli feature. Previously installs only worked reliably for public repos; now installs clone via git with the gh credential helper and forward tokens to the non-root user.

  • Whitelists GH_TOKEN/GITHUB_TOKEN through su --login during extension installs.
  • Clones with git -c credential.helper='!gh auth git-credential' to authenticate to private repos.
  • Checks for a real gh by isolating GH_CONFIG_DIR and unsetting tokens before deciding to install a wrapper.
  • Updates docs and bumps feature version to 1.1.1.

Using private extensions

  • Set the extensions option to a comma-separated list of repos (for example, owner/repo).
  • Provide GH_TOKEN or GITHUB_TOKEN with access to those repos at feature installation time.

Written for commit 8b03a98. Summary will update on new commits.

Review in cubic

Co-authored-by: Kaniska <kaniska244@github.com>
@pull pull Bot locked and limited conversation to collaborators Aug 19, 2026
@pull pull Bot added the ⤵️ pull label Aug 19, 2026
@pull
pull Bot merged commit 8b03a98 into Jahid11978:main Aug 19, 2026
@pull
pull Bot had a problem deploying to documentation August 19, 2026 17:31 Failure
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant