❓How to allow a force push on a PR that is blocked?

[ebouchut]

Currently when a PR is blocked, any force push to the head branch is refused with this error:

Required status check "dpulls" is expected.

Is there any configuration that allows force-push while the PR is blocked?

Command Output

git push --force-with-lease

Enumerating objects: 7, done.
Counting objects: 100% (7/7), done.
Delta compression using up to 10 threads
Compressing objects: 100% (5/5), done.
Writing objects: 100% (5/5), 910 bytes | 910.00 KiB/s, done.
Total 5 (delta 1), reused 0 (delta 0), pack-reused 0 (from 0)

remote: Resolving deltas: 100% (1/1), completed with 1 local object.
remote: error: GH013: Repository rule violations found for refs/heads/config/pr-dependency-check.
remote: Review all repository rules at https://github.com/ebouchut/trio-docs/rules?ref=refs%2Fheads%2Fconfig%2Fpr-dependency-check
remote:
remote: - Required status check "dpulls" is expected.
remote:

To github.com:ebouchut/trio-docs.git
 ! [remote rejected] config/pr-dependency-check -> config/pr-dependency-check (push declined due to repository rule violations)
error: failed to push some refs to 'github.com:ebouchut/trio-docs.git'

Rule

[ebouchut]

Use Case

• PR2 depends on PR1.
• PR1 is not merged nor closed.
• PR2 dpull check fails to prevent me from merging this PR. This is the expected behavior.

I want to be able to force-push the head branch of the PR. However, the force push is refused because of the failed check.

Have you already faced this issue even though it is a corner case?