mirror of
https://gitee.com/gitea/gitea
synced 2025-11-04 00:20:25 +08:00
* Don't allow merging PR's which are being conflict checked (#19357) - Backport of #19357 - When a PR is still being conflict checked, don't allow the PR to be merged(the merge button could already be visible before e.g. a new commit was pushed to the PR). - Resolves #19352 * Update error message