VimPlug/typeshed
1
0 Fork 0
mirror of https://github.com/davidhalter/typeshed.git synced 2026-10-20 12:47:04 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remind core devs to delete their branches (#1073)

Browse Source
This commit is contained in:
Guido van Rossum authored and Jelle Zijlstra committed 2017-03-22 20:23:37 -07:00
1 parent 1a2381828e
commit de95aac022
1 file changed
+1
Download Patch File Download Diff File Expand all files Collapse all files
CONTRIBUTING.md
+1
View File
@@ -241,3 +241,4 @@ 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).