github / github/copilot-cli

Copilot CLI should allow setting a "Default User"

Abierto
#1,673 1 comentario 2 reacciones 0 asignados Ver en GitHub
area:enterprise
Lenguaje dominante
Shell
Estrellas
11.2k
Forks
1.9k
Merge medio
14 h 16 min
PR fusionados (30 d)
6

Descripción

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

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.