github_merge: skip issues (not PR)
authorJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 01:04:21 +0000 (21:04 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 15:55:24 +0000 (11:55 -0400)
commitd53c670c08a998d056deb272468eebecf9cba238
tree86f42c3088cfe5a7d4957751cf86173b887070c0
parent03ead96686dc0607dc1f1ff8db677c760fd44648
github_merge: skip issues (not PR)

Signed-off-by: Jean Privat <jean@pryen.org>
contrib/github_merge.nit