Add to core dev guidelines (#1279)

From https://github.com/python/typeshed/pull/1266#issuecomment-302916761.
This commit is contained in:
Jelle Zijlstra
2017-05-22 06:34:37 -07:00
committed by Matthias Kramm
parent 728b977729
commit 15b6ace1e7

View File

@@ -244,3 +244,5 @@ Core developers should follow these rules when processing pull requests:
* Always wait for tests to pass before merging PRs.
* Use "[Squash and merge](https://github.com/blog/2141-squash-your-commits)" to merge PRs.
* Delete branches for merged PRs (by core devs pushing to the main repo).
* Make sure commit messages to master are meaningful. For example, remove irrelevant
intermediate commit messages.