Edit permission request "times out"?
まだ誰も着手していません。
- 主要言語
- Shell
- スター
- 11.2k
- フォーク
- 1.9k
- 平均マージ
- 14時間 16分
- マージ済み PR(30日)
- 6
説明
Describe the bug
GitHub Copilot CLI started to time out when I did not immediately jump onto edit permission requests. I do leave sessions open over night, and I frequently have several sessions open in parallel, so these timeouts are really, really annoying. This only started happening with a recent update, I swear that this didn't occur in any session I had open a month ago, for example. Symptom:
✗ Edit Edit src/digestive.rs 10m 0s
● The edit did not apply because the permission request timed out; [...]
Affected version
/version says: ● GitHub Copilot CLI 1.0.80 You are running the latest version.
Steps to reproduce the behavior
Ask Copilot to make a code change. Let it wait for 10 minutes.
Expected behavior
Copilot should be as patient with me as I am with it.
Additional context
Seems to happen across OSes, I tested with WSL and with Windows. I'm using GPT 5.6 Sol, if that makes any difference.
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、GitHub Copilot CLI 1.0.80 で編集権限のリクエストフローを再現します。src/digestive.rs などのファイルへの変更を要求し、10 分待ちます。報告されている WSL 環境と Windows 環境での動作を比較します。完了条件は、保留中の権限リクエストがタイムアウトせず、10 分を超えても使用可能なままであることです。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- github, shell
- 領域
- cli
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 活発
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 45/100