github / github/app

it is nice that we can delete the branch after we close a pr in copilot

Ouverte
#1,827 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
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

it is nice that we can delete the branch after we close a pr in copilot

---
| Field | Value |
| --- | --- |
| App version | 1.0.18 |
| OS | Windows 10.0.22621 |
| Theme | Chai |
| Path | /chat |
| Tenure | Week 4 |

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

Start by reviewing the /chat flow in the GitHub Copilot app and the request to delete a branch after a pull request is closed. Clarify which closed pull requests and branches are in scope, then define completion as the app offering or performing branch deletion at that point.

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

Évaluation

Domaine
desktop
Type d'issue
Fonctionnalité
Difficulté
5/5
Temps estimé
Plus d'une semaine
Activité
Calme
Clarté
À clarifier
Accessibilité débutants
35/100

Recevez les nouvelles issues par e-mail

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