What is the problem the feature request solves?
I would like to update the contributor guide and AGENTS.md to try and discourage use of git push --force and instead use --force-with-lease. This would prevent accidentally deleting commits from other maintainers in rare cases where multiple maintainers are pushing to the same PR.
Describe the potential solution
No response
Additional context
No response
What is the problem the feature request solves?
I would like to update the contributor guide and
AGENTS.mdto try and discourage use ofgit push --forceand instead use--force-with-lease. This would prevent accidentally deleting commits from other maintainers in rare cases where multiple maintainers are pushing to the same PR.Describe the potential solution
No response
Additional context
No response