mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-02-16 06:52:02 +08:00
Add core dev guidelines (#1058)
* Add core dev guidelines * add link to "Squash and merge"
This commit is contained in:
committed by
Łukasz Langa
parent
7c2d82fcb5
commit
34575af8e4
@@ -234,3 +234,10 @@ and labels mean.
|
||||
there should be no user-facing effect.
|
||||
* **duplicate**, **wontfix**: These identify issues that we've closed
|
||||
for the respective reasons.
|
||||
|
||||
### Core developer guidelines
|
||||
|
||||
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.
|
||||
|
||||
Reference in New Issue
Block a user