#4541 Pull requested not closed after "git merge"
Opened 11 months ago by szpak. Modified 9 months 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.