github / github/app

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

Open
#1,827 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
No language data
Stars
2.1k
Forks
153
PR merge metrics
No merged PRs in 30d

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 |

Contributor guide

Open the contributing guide

Research direction

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.

Written by the indexing model from the issue text.

Assessment

Domain
desktop
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.