diff --git a/CI/handle_new_mr.py b/CI/handle_new_mr.py index 3bc93791b063a18bcc66356b626251d5cdf1b8c3..f3cf5cc5ab959c71474a3f50e44440fc6765882b 100644 --- a/CI/handle_new_mr.py +++ b/CI/handle_new_mr.py @@ -120,7 +120,7 @@ def handle_new_merge_request(args): logging.critical("error communication with Gitlab API '%s'" % (e.error_message)) sys.exit(1) - if not mr.state in ["opened","reopened"]: + if not mr.state in ["opened","reopened","merged"]: logging.debug("ignore merge request in '%s' state" % mr.state) sys.exit(0)