Learn more about these different git repos.
Other Git URLs
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.
Just saw this today. :)
Example PR: https://src.fedoraproject.org/rpms/biosig4c++/pull-request/1
to comment on this ticket.