-
Notifications
You must be signed in to change notification settings - Fork 712
Open
Labels
bugSomething isn't workingSomething isn't workingpriority-2Bug that affects more than a few users in a meaningful way but doesn't prevent core functionsBug that affects more than a few users in a meaningful way but doesn't prevent core functions
Description
Describe the bug
I can push and pull but with copilot /delegate I get this:
● Signed in successfully as xxx-xxxx (https://<enterprise>.ghe.com)! You can now use Copilot.
~/git/robocop[⎇ main*] gemini-3-pro-preview (1x)
╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮
│ Error Details: │
│ │
│ Failed to get repository info: Could not determine GitHub repository from git remotes │
╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯
git remote -v shows this:
origin <enterprise>@<enterprise>.ghe.com:Xxxx/yyyy.git (fetch)
origin <enterprise>@<enterprise>.ghe.com:Xxxx/yyyy.git (push)
maybe the problem is with the first <enterprise>? (which I substituted for my real enterprise name). usually it's git@.... right? Not sure.
I use copilot successfully in the web gui of that repo.
Affected version
0.0.371 Commit: e3fbcaf
Steps to reproduce the behavior
- set remote to
enterprise@enterprise.ghe.com - use
/delegate
Expected behavior
On my personal github account it works. Expecting the same for enterprise
Additional context
No response
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workingpriority-2Bug that affects more than a few users in a meaningful way but doesn't prevent core functionsBug that affects more than a few users in a meaningful way but doesn't prevent core functions