CONTRIBUTING.md: explicitly avoid --amend (#5371)

* tell not to use --amend

* clarify how pull requests show up in git history
This commit is contained in:
Akuli
2021-05-07 23:52:26 +03:00
committed by GitHub
parent 1048250c04
commit 4b39a0fe43

View File

@@ -77,8 +77,10 @@ processed incorrectly by a type checker. It is also helpful to add
links to online documentation or to the implementation of the code
you are changing.
Also, do not squash your commits after you have submitted a pull request, as this
Also, do not squash your commits or use `git commit --amend` after you have submitted a pull request, as this
erases context during review. We will squash commits when the pull request is merged.
This way, your pull request will appear as a single commit in our git history, even
if it consisted of several smaller commits.
At present the maintainers are (alphabetically):
* David Fisher (@ddfisher)