microsoft / microsoft/vscode-pull-request-github
Deleting a branch auto-closes any PRs targeting the deleted branch
@alexr00 y travaille déjà.
Depuis le 8/5/2025.
- Langage dominant
- TypeScript
- Étoiles
- 2.6k
- Forks
- 795
- Merge moyen
- 1 j 4 h
- PR mergées (30 j)
- 46
Description
I have a pull request targeting my default branch from branch A, and I have a PR for branch B targeting branch A.
When I merge the PR for branch A into my default branch and delete branch A on local and remote from the Pull Request description view in VSCode, my PR for branch B targeting branch A is closed and cannot be reopened. I have to create a new PR targeting my default branch from branch B and I lose all history of comments and reviews that were in the original PR for branch B.
When I do the same process in the Github.com web console, the PR for branch B targeting branch A automatically gets updated to target my default branch when I merge and delete branch A.
- Extension version: 0.108.0
- VSCode Version: 1.99.1
- OS: Mac OS Version 15.4 (24E248)
- Repository Clone Configuration (single repository/fork of an upstream repository): single repository
- Github Product (Github.com/Github Enterprise version x.x.x): Github.com
Steps to Reproduce:
- Create a PR on branch A with a target of default branch
- Create a PR on branch B with a target of branch A
- Merge the PR for branch A into default branch
- Delete branch A on local and remote
- Observe that PR for branch B is now closed and cannot be reopened
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.