ripgrep is causing 403s #2501
Description
What version of Codex is running?
n/a
Which model were you using?
n/a
What platform is your computer?
Linux
What steps can reproduce the bug?
When I'm trying to install this in CI, I'm getting
#9 [4/8] RUN npm install -g @openai/codex
#9 34.19 npm error code 1
#9 34.19 npm error path /usr/lib/node_modules/@openai/codex/node_modules/@vscode/ripgrep
#9 34.19 npm error command failed
#9 34.19 npm error command sh -c node ./lib/postinstall.js
#9 34.19 npm error Finding release for v13.0.0-13
#9 34.19 npm error GET https://api.github.com/repos/microsoft/ripgrep-prebuilt/releases/tags/v13.0.0-13
#9 34.19 npm error Deleting invalid download cache
#9 34.19 npm error Download attempt 1 failed, retrying in 2 seconds...
#9 34.19 npm error Finding release for v13.0.0-13
#9 34.19 npm error GET https://api.github.com/repos/microsoft/ripgrep-prebuilt/releases/tags/v13.0.0-13
#9 34.19 npm error Deleting invalid download cache
#9 34.19 npm error Download attempt 2 failed, retrying in 4 seconds...
#9 34.19 npm error Finding release for v13.0.0-13
#9 34.19 npm error GET https://api.github.com/repos/microsoft/ripgrep-prebuilt/releases/tags/v13.0.0-13
#9 34.19 npm error Deleting invalid download cache
#9 34.19 npm error Download attempt 3 failed, retrying in 8 seconds...
#9 34.19 npm error Finding release for v13.0.0-13
#9 34.19 npm error GET https://api.github.com/repos/microsoft/ripgrep-prebuilt/releases/tags/v13.0.0-13
#9 34.19 npm error Deleting invalid download cache
#9 34.19 npm error Download attempt 4 failed, retrying in 16 seconds...
#9 34.19 npm error Finding release for v13.0.0-13
#9 34.19 npm error GET https://api.github.com/repos/microsoft/ripgrep-prebuilt/releases/tags/v13.0.0-13
#9 34.19 npm error Deleting invalid download cache
#9 34.19 npm error Error: Request failed: 403
#9 34.19 npm error at ClientRequest.<anonymous> (/usr/lib/node_modules/@openai/codex/node_modules/@vscode/ripgrep/lib/download.js:110:24)
#9 34.19 npm error at Object.onceWrapper (node:events:622:26)
#9 34.19 npm error at ClientRequest.emit (node:events:507:28)
#9 34.19 npm error at HTTPParser.parserOnIncomingClient (node:_http_client:772:27)
#9 34.19 npm error at HTTPParser.parserOnHeadersComplete (node:_http_common:117:17)
#9 34.19 npm error at TLSSocket.socketOnData (node:_http_client:614:22)
#9 34.19 npm error at TLSSocket.emit (node:events:507:28)
#9 34.19 npm error at addChunk (node:internal/streams/readable:559:12)
#9 34.19 npm error at readableAddChunkPushByteMode (node:internal/streams/readable:510:3)
#9 34.19 npm error at Readable.push (node:internal/streams/readable:390:5)
#9 34.19 npm error Error: Request failed: 403
Our CI runners all share the same IP so it makes it think that we're hitting the GH api a ton, running into rate limits.
What is the expected behavior?
The install would work, without having to hit github releases. It should be through npm.
What do you see instead?
Maybe have a separate way to install ripgrep? Or not have it as a dependency?
Additional information
No response