Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

breaking: Keys domains criteria from name to tag. #8

Merged
merged 1 commit into from
Jun 6, 2024

Conversation

antoniotarricone
Copy link
Contributor

Now the division of keys into domains is no longer done based on the name but based on the tags.

Now the division of keys into domains is no longer done based on the
name but based on the tags.
Copy link

sonarcloud bot commented Jun 6, 2024

@antoniotarricone antoniotarricone merged commit 1a3ef48 into main Jun 6, 2024
3 checks passed
@antoniotarricone antoniotarricone deleted the new_keys_domains_man branch June 6, 2024 10:17
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.

1 participant