From 7fb1692565681e5704c5576dbb1e394316e59998 Mon Sep 17 00:00:00 2001 From: Laurent Date: Fri, 12 Mar 2021 11:18:08 +0000 Subject: [PATCH] Update pull_request_guidelines.md --- readme/gsoc2021/pull_request_guidelines.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme/gsoc2021/pull_request_guidelines.md b/readme/gsoc2021/pull_request_guidelines.md index a07b6b3c9..801a4c4c3 100644 --- a/readme/gsoc2021/pull_request_guidelines.md +++ b/readme/gsoc2021/pull_request_guidelines.md @@ -16,6 +16,6 @@ Due to our limited resources and in order to give everyone a chance to submit a 7. Please **do not `@mention` contributors and mentors**. Sometimes it takes time before we can review your pull request or answer your questions but we'll get to it sooner or later. `@mentioning` someone just adds to the pile of notifications we get and it won't make us look at your issue faster. -8. **Do not force push**. If you make changes to your pull request, please simply add a new commit as that makes it easy for us to review your new changes. If you force push, we'll have to review everything from the beginning. Additionally, force push often leads to situation where unrelated changes from other commits get added to the pull request, and you need to avoid this. As with the other rules, if we need to ask you multiple times to fix your pull request, we might have to close it as we cannot dedicate that much time dealing with basic git operations. +8. **Do not force push**. If you make changes to your pull request, please simply add a new commit as that makes it easy for us to review your new changes. If you force push, we'll have to review everything from the beginning. These rules we hope are fair to everyone, to contributors and maintainers, however if something is unclear or you have any question about them, please let us know!