Repo rename on GitHub breaks "My work" PR/issue filter semi-permanently

### 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.

Bắt đầu trong bộ lọc repository My Work của ứng dụng Copilot và theo dõi cách URL remote git cục bộ trở thành giá trị của bộ lọc PR/issue. Tái hiện việc đổi tên từ owner/old-name thành owner/new-name, sau đó xác minh rằng bộ lọc sử dụng owner/new-name và hiển thị các PRs và issues hiện tại của repository đã được đổi tên.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.