`/pr` does not recognize GitHub repositories that use SSH host aliases
Nobody has claimed this yet.
- 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
/prcommand 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
- Configure an SSH host alias in
~/.ssh/configthat resolves togithub.com, for example:Host github-personal HostName github.com User git IdentityFile ~/.ssh/id_ed25519_personal - Clone or configure a GitHub repository using the SSH alias as the remote:
git remote set-url origin git@github-personal:OWNER/REPO.git - Verify the repository is accessible:
gh repo view # this should succeed - Run the Copilot CLI
/prcommand 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
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
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