I am merging Pull Request (PR) always manually in my project by merging them locally. Today, I merged two PRs in my project, but the second one got marked as closed and not as merge.
- PR BaumiCoder/ecformat#40 merged with
BaumiCoder/ecformat@c46ba8b80b is marked correctly as merged.
- PR BaumiCoder/ecformat#41 merged with
BaumiCoder/ecformat@f0d59bc39d is marked incorrectly as closed.
I did not change anything in the settings of the project in between and both situations looks very similar to me. Therefore, I have no idea why the merge of the second PR was not detected properly. Maybe it is some bug in Forgejo, but without insides about why it appears and a way of reproduction a bug report there seems to be not helpful. Maybe some details in the logs of Codeberg.org or similar can help here. Did I something wrong when merging the second PR or what difference triggered the problem in detection the manual merge?
### Comment
I am merging Pull Request (PR) always manually in my project by merging them locally. Today, I merged two PRs in my project, but the second one got marked as closed and not as merge.
1. PR https://codeberg.org/BaumiCoder/ecformat/pulls/40 merged with https://codeberg.org/BaumiCoder/ecformat/commit/c46ba8b80bad4bc8cbffe17a0ec8a8af05828a1b is marked correctly as merged.
2. PR https://codeberg.org/BaumiCoder/ecformat/pulls/41 merged with https://codeberg.org/BaumiCoder/ecformat/commit/f0d59bc39d2e83af20a21f175180a85bb8421f1e is marked incorrectly as closed.
I did not change anything in the settings of the project in between and both situations looks very similar to me. Therefore, I have no idea why the merge of the second PR was not detected properly. Maybe it is some bug in Forgejo, but without insides about why it appears and a way of reproduction a bug report there seems to be not helpful. Maybe some details in the logs of Codeberg.org or similar can help here. Did I something wrong when merging the second PR or what difference triggered the problem in detection the manual merge?