github / github/app

[Bugs] Describe the bug

Ouverte
#1,573 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
Bugs
Langage dominant
Aucune donnée de langage
Étoiles
2.1k
Forks
153
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

**Mood:** 😊
**Category:** Bugs

Describe the bug

When a new agent definition file is added to ~/.copilot/agents/ (the user-scoped agent directory), the GitHub Copilot App UI does not pick it up even after opening a new project session. A full app restart is required.

In contrast, the CLI (copilot command) correctly discovers the new agent immediately without needing a restart.

Steps to reproduce

Add a new .md agent file to ~/.copilot/agents/
Open a new project session in the App UI
Click "Default agent" dropdown — the new agent does not appear
Run copilot CLI in terminal and type /agent — the new agent appears correctly
Expected behavior

The App UI should discover user-scoped agents from ~/.copilot/agents/ when a new project session is opened, consistent with how the CLI behaves.

Actual behavior

The agent is not visible in the App UI until the entire app is quit and relaunched.

Environment

GitHub Copilot App version: 1.0.66
CLI version: 1.0.65
OS: macOS

---
| Field | Value |
| --- | --- |
| App version | 1.0.12 |
| OS | macOS 15.4.0 |
| Theme | Fox |
| Path | /chat |
| Tenure | Day 1 |

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

Start with the App UI's new project session flow and the "Default agent" dropdown, then compare how it discovers files in ~/.copilot/agents/ with the CLI's /agent entry point. Confirm that adding a new .md agent before opening a session makes it appear without restarting the app, matching the CLI behavior.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Domaine
desktop
Type d'issue
Bug
Difficulté
3/5
Temps estimé
1-2 jours
Activité
Calme
Clarté
Clairement spécifiée
Accessibilité débutants
65/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.