add to CONTRIBUTING (#1560)

Ask contributors to better explain their changes and link to documentation and code. These things generally make pull requests easier to review.
This commit is contained in:
Jelle Zijlstra
2017-08-21 13:26:00 -07:00
committed by Łukasz Langa
parent 42e2142f28
commit e20a36ada2

View File

@@ -69,6 +69,12 @@ For every pull request, we aim to promptly either merge it or say why
it's not yet ready; if you go a few days without a reply, please feel
free to ping the thread by adding a new comment.
To get your pull request merged sooner, you should explain why you are
making the change. For example, you can point to a code sample that is
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.
At present the core developers are (alphabetically):
* David Fisher (@ddfisher)
* Łukasz Langa (@ambv)