Enhancement on rule promotions #5422
Description
Following a discussion in #5420, actions to be done after merge:
-
add promoted rules to PR - build artifacts (chore: give back list of promoted rules #5420)
@phantinuss, anything else?
{{ message }}
Following a discussion in #5420, actions to be done after merge:
@phantinuss, anything else?