github / github/copilot-cli

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

Open
#4,248 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Shell
Stars
11.2k
Forks
1.9k
Avg merge
14h 16m
Merged PRs (30d)
6

Description

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

Contributor guide

Open the contributing guide

Research direction

Start at the `/pr` command's repository validation and remote URL handling. Reproduce the failure with the `github-personal` SSH alias and compare it with the successful `gh repo view` check; done when `/pr` accepts aliases resolving to GitHub hosts while retaining normal GitHub Enterprise support.

Written by the indexing model from the issue text.

Assessment

Tech stack
git, github
Domain
cli
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
58/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.