github_merge: use combined status (and be more useful)
authorJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 01:33:05 +0000 (21:33 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 15:55:24 +0000 (11:55 -0400)
commitfa217f752da66f7dc054e2c0bdc2bcc3d3e680e1
tree85aaad803667c107807aa55de493ef94933f2a2b
parent0a38e59ac9ad972f5f43ad81e20885a31e43bd5c
github_merge: use combined status (and be more useful)

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