github / github/app

Cannot merge pull request from app

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

Description

### Short summary

_No response_

### Affected version or release

_No response_

### Installation context

_No response_

### What happened?

I can't complete the entire PR loop from the app.

I can open a PR, but must open in browser to merge.

App state:

Image

Web state for same PR:

Image

### Steps to reproduce

_No response_

### Expected behavior

_No response_

### Additional context

_No response_

Contributor guide

Open the contributing guide

Research direction

Start by reproducing the pull-request flow in the GitHub Copilot app and compare its state with the corresponding web state shown in the issue screenshots. Trace the merge action from the app entry point; done means a pull request can be merged without opening the browser.

Written by the indexing model from the issue text.

Assessment

Tech stack
github
Domain
desktop
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.