kup ignores shell env settings, must pass env directly
まだ誰も着手していません。
評価
調査の方向性
Start in src/kup/main.py at the referenced line where GH_TOKEN is handled. Reproduce the difference between exporting GH_TOKEN before running kup install kore-rpc and prefixing the command with GH_TOKEN. Done means the exported environment variable is passed through so the GitHub request is authenticated and the rate-limit failure no longer occurs.
索引モデルが issue の本文から書いたものです。
説明
GitHub Rate limiting
Getting rate limited by GitHub, so passing GH_TOKEN (ref: https://github.com/runtimeverification/kup/blob/a72bf86a857e01539f161541aba76bbfb19f03cd/src/kup/__main__.py#L335C61-L335C69) into my terminal I must pass it directly to actually make an authenticated request
Failure
$ export GH_TOKEN=github_pat_(...)
$ kup install kore-rpc
warning: error: unable to download 'https://api.github.com/repos/runtimeverification/k/commits/HEAD': HTTP error 403
response body:
{"message":"API rate limit exceeded for 198.54.132.185. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)","documentation_url":"https://docs.github.com/rest/overview/resources-in-the-rest-api#rate-limiting"}; using cached version
warning: error: unable to download 'https://api.github.com/repos/runtimeverification/evm-semantics/commits/HEAD': HTTP error 403
Successful
$ GH_TOKEN=github_pat_(...) kup install kore-rpc
⌛ Building 'kore-rpc' ...
✅ Successfully installed 'kore-rpc' version github:runtimeverification/haskell-backend/e50cdfc9943ad683ef7cd9917f7599f322a53b78#packages.aarch64-darwin.kore-rpc (master).
- 主要言語
- Python
- スター
- 10
- フォーク
- 2
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/kup のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
runtimeverification/kup#149 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings again再び着手できるかも @juliankuners が 426 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#137 · コメント 1 件 · 担当者 1 名 ·
-
Add more Nix versions to test CI workflow再び着手できるかも @juliankuners が 426 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#136 · 担当者 1 名 ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions再び着手できるかも @juliankuners が 426 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/kup#135 · 担当者 1 名 ·
runtimeverification/kup の issue をすべて見る
似ている issue
-
bug server
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
sportsdataverse/sportsdataverse-py#641 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
googleapis/google-cloud-python#18532 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信