From 91688875d4a59ea3e9e74924d67c099d8fcdf5ca Mon Sep 17 00:00:00 2001 From: nemunaire Date: Mon, 1 Jun 2015 17:14:54 +0200 Subject: [PATCH] [github] can use #ID as ID when looking for a particular issue --- modules/github.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/modules/github.py b/modules/github.py index ab40589..b8aa9d2 100644 --- a/modules/github.py +++ b/modules/github.py @@ -136,10 +136,10 @@ def cmd_github(msg): li = re.match("^#?([0-9]+)$", msg.args[0]) ri = re.match("^#?([0-9]+)$", msg.args[-1]) if li is not None: - issue = msg.args[0] + issue = li.group(1) del msg.args[0] elif ri is not None: - issue = msg.args[-1] + issue = ri.group(1) del msg.args[-1] repo = " ".join(msg.args)