github / github/copilot-cli

`/pr` does not recognize GitHub repositories that use SSH host aliases

Offen
#4,248 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Shell
Sterne
11.2k
Forks
1.9k
Ø Merge
14 Std. 16 Min.
Gemergte PRs (30 T.)
6

Beschreibung

### Describe the bug

When using Copilot CLI's `/pr` command in a repository whose origin remote uses an SSH host alias (defined in `~/.ssh/config`), the command fails with:

> The `/pr` command requires a repository connected to GitHub (github.com or *.ghe.com remote).

For example, my remote is:

git@github-personal:nickcoffey/PySwap.git

where `github-personal` is an SSH alias that resolves to github.com and uses a specific SSH key for one of multiple GitHub accounts.

The repository is a valid GitHub repository, and GitHub CLI recognizes it correctly (`gh repo view` succeeds). This suggests `/pr` is validating the literal remote hostname instead of resolving SSH aliases or using Git/GitHub metadata to determine the repository.

### Affected version

GitHub Copilot CLI 1.0.73.

### Steps to reproduce the behavior

1. Configure an SSH host alias in `~/.ssh/config` that resolves to `github.com`, for example:
```sshconfig
Host github-personal
HostName github.com
User git
IdentityFile ~/.ssh/id_ed25519_personal
```
2. Clone or configure a GitHub repository using the SSH alias as the remote:
```bash
git remote set-url origin git@github-personal:OWNER/REPO.git
```
3. Verify the repository is accessible:
```bash
gh repo view # this should succeed
```
4. Run the Copilot CLI `/pr` command from the repository.

### Expected behavior

`/pr` should work with repositories that use SSH host aliases which ultimately resolve to github.com or GitHub Enterprise hosts.

### Additional context

- **Operating system:** macOS
- **CPU architecture:** ARM
- **Terminal emulator:** Ghostty
- **Shell:** zsh

Beitragsleitfaden

Beitragsleitfaden öffnen

Rechercherichtung

Beginne bei der Repository-Validierung und der Verarbeitung von Remote-URLs des Befehls `/pr`. Reproduziere den Fehler mit dem SSH-Alias `github-personal` und vergleiche ihn mit der erfolgreichen Prüfung durch `gh repo view`; abgeschlossen ist die Arbeit, wenn `/pr` Aliase akzeptiert, die auf GitHub-Hosts aufgelöst werden, und die normale Unterstützung für GitHub Enterprise erhalten bleibt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
git, github
Bereich
cli
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Ruhig
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
58/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.