Skip to content

Conversation

k1k
Copy link

@k1k k1k commented Nov 16, 2022

Only merge rule-sets when there are extra rules in the location, otherwise just re-use the rule-set of the parent

Only merge rulesets when there are extra rules in the location,
otherwise just re-use the ruleset of the parent
@airween
Copy link
Member

airween commented Apr 16, 2024

Hi @k1k, we've added a CI workflow to this repository. Could you pick up the modifications and send your patch again? It would be fine to run those tests - thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants