github_merge: add --status to filter out PR without success
authorJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 01:38:10 +0000 (21:38 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 15:55:25 +0000 (11:55 -0400)
commit75559e99f3f398129eb0d3e66ca2f82e7452ba99
treec72f8bbca792dca594e3edf3dc435650bcc3a78d
parentfa217f752da66f7dc054e2c0bdc2bcc3d3e680e1
github_merge: add --status to filter out PR without success

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