Skip to content

[pull] main from github:main#48

Merged
pull[bot] merged 2 commits intoM19913:mainfrom
github:main
Mar 11, 2026
Merged

[pull] main from github:main#48
pull[bot] merged 2 commits intoM19913:mainfrom
github:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Mar 11, 2026

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 : )

devm33 and others added 2 commits March 10, 2026 16:57
When the GITHUB_TOKEN environment variable is set, pass it as an
Authorization header on curl/wget downloads and embed it in the git
remote URL for ls-remote. This helps avoid rate limits and enables
installation from private repositories.

When GITHUB_TOKEN is unset, behavior is unchanged — the auth arrays
expand to nothing and the git remote URL stays unauthenticated.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
install: use GITHUB_TOKEN for authenticated GitHub requests
@pull pull bot locked and limited conversation to collaborators Mar 11, 2026
@pull pull bot added the ⤵️ pull label Mar 11, 2026
@pull pull bot merged commit d3c1269 into M19913:main Mar 11, 2026
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