microsoft / microsoft/vscode-pull-request-github
Asked to delete remote branch manually
Ouverte
@alexr00 y travaille déjà.
Depuis le 19/9/2026.
- Langage dominant
- TypeScript
- Étoiles
- 2.6k
- Forks
- 795
- Merge moyen
- 1 j 4 h
- PR mergées (30 j)
- 46
Description
Why do I have to click this button after merging my PR? On github.com it just does this automatically
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Évaluation
Cette issue n'a pas encore été évaluée.