github_merge: do not crash if the mergeable status is unknown
[nit.git] / VERSION
1 v0.7.1