Translation missing: "repo.pulls.has_merged"

[richmahn]

Description

routers/web/repo/pull.go line #1135 has the translation key "repo.pulls.has_merged" but no translation exists in locale_en-US.ini

Can see if you hit the PR merge button twice.

Gitea Version

412e5c0

Can you reproduce the bug on the Gitea demo site?

Yes

Log Gist

No response

Screenshots

Git Version

No response

Operating System

No response

How are you running Gitea?

Compiling main branch locally.

Database

None