From de95aac022dfa714f7cd87ecefeace8ef669c1fb Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Wed, 22 Mar 2017 20:23:37 -0700 Subject: [PATCH] Remind core devs to delete their branches (#1073) --- CONTRIBUTING.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index a92f9ef25..e2f39a41e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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).