Allow GitHub tag zip archives through the github remote #41

Merged
benvin merged 1 commits from benvin/github-tag-zips into main 2026-09-08 00:37:09 +10:00
Member

The github remote already proxies tagged source tarballs, but the tools that want a tagged upstream source archive as a zip (Neovim package installs, anything unpacking with unzip) get a 403 because the pattern allowlist only covers .tar.gz. GitHub serves the same tag archive as a zip at the sibling path.

  • Add .*/archive/refs/tags/.*\.zip$ to the github remote patterns
The github remote already proxies tagged source tarballs, but the tools that want a tagged upstream source archive as a zip (Neovim package installs, anything unpacking with unzip) get a 403 because the pattern allowlist only covers .tar.gz. GitHub serves the same tag archive as a zip at the sibling path. - Add `.*/archive/refs/tags/.*\.zip$` to the github remote patterns
unkin-agent added 1 commit 2026-09-07 23:49:27 +10:00
Allow GitHub tag zip archives through the github remote
ci/woodpecker/pr/plan Pipeline was successful
ci/woodpecker/pr/pre-commit Pipeline was successful
888e3e84ce
benvin merged commit ad8d530687 into main 2026-09-08 00:37:09 +10:00
benvin deleted branch benvin/github-tag-zips 2026-09-08 00:37:09 +10:00
Sign in to join this conversation.