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

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 /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:
    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:
    git remote set-url origin git@github-personal:OWNER/REPO.git
    
  3. Verify the repository is accessible:
    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

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.