github_merge: do not crash if the mergeable status is unknown
[nit.git] / tests / test_opts.nit
2013-08-05 Jean Privattests: add test_opts