From eece27397cb3befe9d4c7cdad65d3a38b61d7a36 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 8 Jan 2018 11:52:51 +0100
Subject: github-check-prs.py: Strip spaces from token from command line

---
 dev/tools/github-check-prs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/tools/github-check-prs.py')

diff --git a/dev/tools/github-check-prs.py b/dev/tools/github-check-prs.py
index 74325d3ee5..7c9043e63a 100755
--- a/dev/tools/github-check-prs.py
+++ b/dev/tools/github-check-prs.py
@@ -14,7 +14,7 @@ parser.add_argument("--token-file", type=argparse.FileType('r'))
 args = parser.parse_args()
 
 if args.token_file is None:
-    token = input("Github access token: ")
+    token = input("Github access token: ").strip()
 else:
     token = args.token_file.read().rstrip("\n")
     args.token_file.close()
-- 
cgit v1.2.3