From 04a57e536b2d342c43c0374c5636937ed768fd0e Mon Sep 17 00:00:00 2001
From: Barosl Lee <vcs@barosl.com>
Date: Mon, 15 Dec 2014 09:59:46 +0900
Subject: [PATCH] Do not manually close a pull request

Because of the manual closing, the pull request is occasionally set to
"closed" rather than "merged" even though it was successful. This is
because there is a little latency between the fast-forwarding and the
automatic transition to "merged".

If a bad thing happens, it would be better to leave it "open".
---
 bors.py | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/bors.py b/bors.py
index e16c597..842f980 100755
--- a/bors.py
+++ b/bors.py
@@ -597,13 +597,6 @@ def advance_master_ref_to_test(self, pulls):
             self.add_comment(self.sha, s)
             self.set_error(s)
 
-        try:
-            self.dst().pulls(self.num).patch(state="closed")
-            self.closed = True
-        except github.ApiError:
-            self.log.info("closing failed; auto-closed after merge?")
-            pass
-
         return ret
 
     def try_advance(self, pulls, cfg):