| commit | a006ad5399c4aa4613f3573d3ff6e641950c6e19 | [log] [tgz] |
|---|---|---|
| author | Fabio Baltieri <fabiobaltieri@google.com> | Mon Jan 08 12:12:54 2024 +0000 |
| committer | Anas Nashif <anas.nashif@intel.com> | Mon Jan 08 15:03:04 2024 -0500 |
| tree | e5d318792c489d156a0051b5ecc7c375294b76f5 | |
| parent | 698f3b1a58903238d945ccc3c3600b51f9e257b2 [diff] |
ci: do_not_merge: check for dev and arch review labels as well Add "Architecture Review" and "dev-review" to the list of labels that block a PR from merging, less chances to merge these before discussion unintentionally. Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>