github_merge: do not crash if the mergeable status is unknown
authorJean Privat <jean@pryen.org>
Thu, 5 Feb 2015 06:59:35 +0000 (13:59 +0700)
committerJean Privat <jean@pryen.org>
Thu, 5 Feb 2015 06:59:35 +0000 (13:59 +0700)
commit20c920427daae1392e5348a243ee20bbf1d22467
tree093eeb75604984c0f6bb1e2a966aaf290eb63e25
parente662c905a65389b466d31b111d2a461590bda280
github_merge: do not crash if the mergeable status is unknown

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