#4541 Pull requested not closed after "git merge"
Opened 2 months ago by szpak. Modified 12 days ago

Working locally with a PR I often do git merge to merge changes. Assuming a plain merge (with a merge commit or a fast forward - no squashing/rebasing/etc) I would expect to have the corresponding PR to be closed automatically as merged. However, it is remained open with the information that there is nothing to commit. It results in a closed PR marked as "cancelled".

Sample PR: https://src.fedoraproject.org/rpms/pyxattr/pull-request/2

I wasn't able to find an existing open issue (a feature request) for that behavior.


Login to comment on this ticket.

Metadata