From a68456da67d7843d04fbe801ab8ed65119ddf35c Mon Sep 17 00:00:00 2001 From: Federico Jeanne Date: Thu, 13 Aug 2026 12:00:12 +0200 Subject: [PATCH] Add hint about formatting to CONTRIBUTING.md --- CONTRIBUTING.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e2b0b545f9..009c388ee2 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -142,6 +142,7 @@ When you have set up your fork of a repository that you want to contribute to an - If tests were added, they should meet the following criteria: - They should **run**: check the logs and make sure they are being executed. - They should **pass**: do not add broken tests. + - The PR doesn't introduce unnecessary formatting changes (if the code is not related to the fix, do not format it). - If the PR has been reviewed and the reviewer left some comments, address them and clearly document what you did. Either write a proper response like "addressed in commit _XYZ_" or explain why you did what you did. A mere "thumbs up" is not enough. 5. **Merging the PR:** Once the PR is approved, it can be merged by a committer