[github] can use #ID as ID when looking for a particular issue

This commit is contained in:
nemunaire 2015-06-01 17:14:54 +02:00
parent 19ad2d7a32
commit 91688875d4

View File

@ -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)