aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools/github-merge.py
diff options
context:
space:
mode:
authorpracticalswift <practicalswift@users.noreply.github.com>2017-01-10 23:30:14 +0100
committerpracticalswift <practicalswift@users.noreply.github.com>2017-01-13 19:03:20 +0100
commit95bab821b3af268d23e9cf5f9da3dd7f1e396949 (patch)
tree1e7d14508b451a1f9b95df81bc6be6966d50ef2e /contrib/devtools/github-merge.py
parent5754e0341b7c033d4caf99534aca47e9981bd7ed (diff)
downloadbitcoin-95bab821b3af268d23e9cf5f9da3dd7f1e396949.tar.xz
Remove unused Python imports
Diffstat (limited to 'contrib/devtools/github-merge.py')
-rwxr-xr-xcontrib/devtools/github-merge.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py
index aae966a8f6..0cee0921b1 100755
--- a/contrib/devtools/github-merge.py
+++ b/contrib/devtools/github-merge.py
@@ -15,7 +15,7 @@
# In case of a clean merge that is accepted by the user, the local branch with
# name $BRANCH is overwritten with the merged result, and optionally pushed.
from __future__ import division,print_function,unicode_literals
-import os,sys
+import os
from sys import stdin,stdout,stderr
import argparse
import subprocess