From 8a3cb46007d40754a023238d636380764abfc9b5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20M=C3=B6hle?= <91616163+softhack007@users.noreply.github.com> Date: Sat, 17 Jan 2026 00:52:51 +0100 Subject: [PATCH] Update contributing guidelines for PR management Clarify that multiple commits can be added to an open PR and warn against force-pushing. --- CONTRIBUTING.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d73ba5b7..c034e755 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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.