aboutsummaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorMarcoFalke <falke.marco@gmail.com>2016-09-21 11:44:05 +0200
committerMarcoFalke <falke.marco@gmail.com>2016-09-23 00:42:35 +0200
commitfaa91bc335da1c0f20b7a3375b1cfcfdc7b10af5 (patch)
tree4e9e9f26883d4846ecf210684aa98eba1dee1146 /CONTRIBUTING.md
parent1c24d5f637201b46a621f6e8e0247bc8bdc52f6a (diff)
CONTRIBUTING: Mention not to open several pulls
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 62ebc7917a..7e9b4f10df 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -87,6 +87,15 @@ before it will be merged. The basic squashing workflow is shown below.
# save and quit
git push -f # (force push to GitHub)
+If you have problems with squashing (or other workflows with `git`), you can
+alternatively enable "Allow edits from maintainers" in the right GitHub
+sidebar and ask for help in the pull request.
+
+Please refrain from creating several pull requests for the same change.
+Use the pull request that is already open (or was created earlier) to amend
+changes. This preserves the discussion and review that happened earlier for
+the respective change set.
+
The length of time required for peer review is unpredictable and will vary from
pull request to pull request.