diff options
| -rw-r--r-- | mod/mod-ci-github-gq.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mod/mod-ci-github-gq.cxx b/mod/mod-ci-github-gq.cxx index 774eeed..db69f0c 100644 --- a/mod/mod-ci-github-gq.cxx +++ b/mod/mod-ci-github-gq.cxx @@ -740,7 +740,7 @@ namespace brep { if (ma == "CONFLICTING") r = {move (hs), false, nullopt}; - if (ma == "UNKNOWN") + else if (ma == "UNKNOWN") ; // Still being generated; leave r absent. else throw_json (p, "unexpected mergeable value '" + ma + '\''); |