Marking pr as manually merged doens't do anything

[tautf]

Description

I merged a pull request the normal way with clicking "Merge". During the "merge process" i left the page which caused this behaviour.

• Branches are merged together

• PR still open and unmergeable because branch is already included in target
  

• Clicking "Manual Merge" does nothing

• Im not able to close this PR (with this button, of course with the "Close" functionality")

Maybe dont have "Manual Merge" as a button if nothing happens.

Gitea Version

1.17.2

Can you reproduce the bug on the Gitea demo site?

No

Log Gist

No response

Screenshots

No response

Git Version

none, integrated

Operating System

Windows Server 2019

How are you running Gitea?

Windows amd64 executable

Database

PostgreSQL

[a-n-dokuchaev]

Help us, please. Last 2 of 50 PRs with this issue.

I can reproduce this issue on Gitea 1.19.0+dev-341-geb793c336 logs don't seem to be very interesting, but I can post them if you want to. I was also using the Tor Browser, in case that makes any difference.

[wxiaoguang]

Sorry I missed this issue.

There are 2 problems here:

1. When the browser leaves the page, the connection is disconnected and Gitea may not finish its work (especially the necessary database updating), so the PR is left open. This problem should be fixed by other approaches.
2. The Manually Merged form is broken, it will be fixed by Fix the Manually Merged form #23015