How to download codeql query packs via the web?

[davewichers]

I'm in a situation where I'm behind a corporate proxy with custom SSL certs and codeql can't be configured to ignore SSL errors and I can't figure out how to get the shell codeql is running in to use the custom certs.

Is there any way to directly download codeql query packs via the web? If you go here: https://github.com/orgs/codeql/packages, it shows all the query packages but doesn't allow you to download them directly, you can only run: codeql pack download codeql/PACKNAME to get them, which doesn't work for me. Can this page be updated to allow directly download via the web, as well as the normal: codeql pack download method?

Or is there some other way to actually download them? I could use curl and tell it to ignore the cert errors, but don't know what URL to provide to curl for the download.

[hvitved]

Hi 👋

As far as I know, it is currently not possible to download packs directly via the UI. One possibility is to run codeql pack download on another machine, if possible, and then copy over the packs from there.

[davewichers]

I can't do this from where I am because all machines are in the same situation. Can you enhance the github query pack site to also allow direct download via the web? I wouldn't think that would be that hard. And if you can get the github packs on one machine, are there instructions on where to find them locally, and where to put them (and install them?) on the other machine?