github_merge: do not crash if PR is not tested (no status)
authorJean Privat <jean@pryen.org>
Tue, 13 May 2014 22:43:40 +0000 (18:43 -0400)
committerJean Privat <jean@pryen.org>
Tue, 13 May 2014 22:44:52 +0000 (18:44 -0400)
commita6d60718e0ce7bb4898383f343dd85838af39ee0
treeb9f2eca6e63e82b1822b13522aed50640d11dd01
parent1b009bafbd90a6dd94462a5afd1e943f57078c71
github_merge: do not crash if PR is not tested (no status)

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