github / github/copilot-cli

Copilot CLI should allow setting a "Default User"

Aberta
#1,673 1 comentário 2 reações 0 responsáveis Ver no GitHub
area:enterprise
Linguagem predominante
Shell
Estrelas
11.2k
Forks
1.9k
Merge médio
14h 16min
PRs com merge (30d)
6

Descrição

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

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.