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

Add validator to forbid usage of some metrics in rules #35

Merged
merged 4 commits into from
Dec 6, 2023

Conversation

FUSAKLA
Copy link
Owner

@FUSAKLA FUSAKLA commented Dec 4, 2023

resolves # 33

So it was misunderstanding, this does not resolve the issue #33, it adds other validator but still valid :)

@FUSAKLA
Copy link
Owner Author

FUSAKLA commented Dec 4, 2023

@tizki do you think you could try it out if that makes sense this way?

@tizki
Copy link
Contributor

tizki commented Dec 5, 2023

Hi,
yes, I already have something. I'll open a PR shortly.
thanks

@FUSAKLA
Copy link
Owner Author

FUSAKLA commented Dec 5, 2023

Oh, I'm sorry to hear that :/ It looks like we both went duplicating the effort.
Definitely feel free to open the PR and can decide about the implementation then.

@tizki
Copy link
Contributor

tizki commented Dec 5, 2023

oh, I didn't notice your PR.
anyway feel free to take whichever makes more sense.

@FUSAKLA
Copy link
Owner Author

FUSAKLA commented Dec 5, 2023

I just reviewed your PR and in the end our PRs do not overlap, because I misunderstood what you requested 🎉 😄

This PR adds a validator to forbid using some metrics in alerts/rules

@FUSAKLA FUSAKLA changed the title Fus-expr-uses-metric-name Add validator to forbid usage of some metrics in rules Dec 5, 2023
@FUSAKLA FUSAKLA self-assigned this Dec 5, 2023
Signed-off-by: Martin Chodur <m.chodur@seznam.cz>
Signed-off-by: Martin Chodur <m.chodur@seznam.cz>
Signed-off-by: Martin Chodur <m.chodur@seznam.cz>
@FUSAKLA FUSAKLA added the enhancement New feature or request label Dec 6, 2023
Signed-off-by: Martin Chodur <m.chodur@seznam.cz>
@FUSAKLA FUSAKLA merged commit 2da1bdd into master Dec 6, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants