Update contributing guidelines for PR management

Clarify that multiple commits can be added to an open PR and warn against force-pushing.
This commit is contained in:
Frank Möhle
2026-01-17 00:52:51 +01:00
committed by GitHub
parent ba5cf9cd3c
commit 8a3cb46007

View File

@@ -21,6 +21,8 @@ While the PR is open - and under review by maintainers - you may be asked to mod
You can simply update your own branch, and push changes in response to reviewer recommendations.
Github will pick up the changes so your PR stays up-to-date.
You don't need to provide us with a single commit 'squashed' PR; you can simply add commits while your pull request (PR) is open.
> [!CAUTION]
> Do not use "force-push" while your PR is open!
> It has many subtle and unexpected consequences on our github reposistory.