github / github/copilot-cli

Copilot CLI should allow setting a "Default User"

Open
#1,673 1 comment 2 reactions 0 assignees View on GitHub
area:enterprise
Dominant language
Shell
Stars
11.2k
Forks
1.9k
Avg merge
14h 16m
Merged PRs (30d)
6

Description

### Describe the bug

So I have a GITHUB_TOKEN containing a PAT for my personal github account used by other tooling to access the public github API (i.e. fetching releases in mise, etc.)

But my copilot CLI is logged in to GitHub Enterprise .ghe.com

What I've found is that the copilot CLI will always prefer to use the PAT from GITHUB_TOKEN instead of the oauth credential it should have for GitHub enterprise. This results in it just failing to work outright because my personal token does not have copilot permission, or a copilot subscription.

### Affected version

GitHub Copilot CLI 0.0.417

### Steps to reproduce the behavior

1. Have a GITHUB_TOKEN environment variable containing a PAT with minimal permissions (i.e. only public repo access)
2. Log in to copilot CLI using /login using a GHE account.
3. Close and restart copilot CLI
4. Attempt to use /model and see it complaining that the token doesn't have permissions.
5. Do /user switch to another "user" that actually has permissions
6. Now it actually works.

### Expected behavior

I would expect it to prefer the credential that actually works.

Or allow me to explicitly set a default user here.

### Additional context

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.