Branch protection for pull mirrors #20849
Description
Feature Description
I want branch protection against forced pushes to optionally work even when the branch is a mirror.
Use case: archiving purposes. Sometimes developers go mad and delete everything with a force push. Gitea should be able to preserse the history of Git commits.
Of couse, mirroring will fail in this case. I suggest to inform the repository owner with a notification so he will be able to decide what to do.
Screenshots
No response