Repo rename on GitHub breaks "My work" PR/issue filter semi-permanently
- 主要言語
- 言語のデータがありません
- スター
- 2.1k
- フォーク
- 153
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
### Short summary
When a GitHub repository is **renamed**, the Copilot app keeps using the old `owner/repo` name when filtering PRs and issues. Removing and re-adding the repository doesn't help, since the app seems to derive `owner/repo` from the local clone remote URL.
### Affected version or release
1.0.16
### Installation context
GHE / Proxima, but likely affecting all GitHub flavors
### What happened?
When a repository is renamed in GitHub, in the Copilot app under "My work":
- The repository dropdown shows the old name.
- Selecting it (or "All repositories") shows **no** PRs/issues for the renamed repository.
- The stale name persists even after **removing and re-adding** the repository, because the app seems to use the local git remote URL to derive the filter value.
Note that the repository name is shown correctly in the app sidebar, as well as in settings. This seems to only affect the PR/issue view.
### Steps to reproduce
1. Clone `owner/old-name` locally and add it to the Copilot app.
2. Rename the repository on GitHub to `owner/new-name` (GitHub sets up a redirect; the local remote URL still points at `old-name` and keeps working).
3. Open **My Work** and use the repository filter dropdown.
### Expected behavior
The filter uses the repo's **canonical** current name (`owner/new-name`) and shows the current PRs/issues.
### Additional context
As a workaround, deleting the local clone or editing its remote URL to match the new clone URL, then removing and re-adding the repository fixes it.
コントリビューションガイド
調査の方向性
Start in the Copilot app's My Work repository filter and trace how the local git remote URL becomes the PR/issue filter value. Reproduce the rename from owner/old-name to owner/new-name, then verify that the filter uses owner/new-name and shows the renamed repository's current PRs and issues.
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- git, github
- 領域
- desktop
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 静か
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 58/100