Hi All, I just migrated my existing gitea to the new version 1.17.2. Currently when i manually merge a branch, it does not auto mark the PR as “merged”. its just showing up as “open” with no file change and no commit. Is there any settings that i missed out to enable for auto updating of PR when merged?
