Automatically close a pull request when the contributor force-pushes a commit #349
Description
Is your feature request related to a problem? Please describe.
In the Oppia-web repo, PR templates warn contributors: Never force push! If you do, your PR will be closed. However, this action is not currently enforced. When a contributor force-pushes commits to a PR branch, the PR remains open.
Describe the solution you'd like
I would like Oppiabot to automatically detect when a contributor force-pushes to a pull request and immediately close the PR with a clear, standardized message. This ensures the warning in the PR template is honored and helps maintain consistent workflow practices.
Describe alternatives you've considered
N/A
Additional context
N/A