Not respecting 'Allow force pushing' setting

[stevelw]

I've not attempted to reproduce, but the current scenario that has encountered this:

1. 'Allow force pushing' turned off for open project
2. Remote branch applied with open PR, fully pushed.
3. Dependent branch applied above that PR
4. Uncommitted change (file not hunk) dragged from 'changed files' to latest commit in branch from step 2.
5. 'Force push' button appears at bottom
6. When clicked, force push happens, confirmed in GitHub PR history

Expected behavior:

User shouldn't even be able to drag changes onto a pushed commit if 'allow force pushing' is disabled.

[Byron]

Thanks a lot for reporting!

It does indeed seem like the setting has no effect.

Screen.Recording.2024-12-07.at.07.38.25.mov

CC @estib-vega