mute_time_intervals:
- name: maintenance_windows
time_intervals:
- months: ['january']
days_of_month: ['7', '18', '28']
times:
- start_time: '18:00'
end_time: '24:00'
- months: ['february']
days_of_month: ['5', '14', '26']
times:
- start_time: '18:00'
end_time: '24:00'
- months: ['march']
days_of_month: ['8', '19', '30']
times:
- start_time: '18:00'
end_time: '24:00'
... etc
route:
group_by: ['...']
group_wait: 1s
group_interval: 1m
repeat_interval: 3h
routes:
- matchers:
- severity = critical
mute_time_intervals:
- maintenance_windows
In that case, you can split the time interval into the days you want muted late at night, and then the days you want muted early in the morning. Like so:
mute_time_intervals:
- name: maintenance_windows
time_intervals:
- months: ['january']
days_of_month: ['7', '18', '28']
times:
- start_time: '22:00'
end_time: '24:00'
- months: ['january']
days_of_month: ['8', '19', '29']
times:
- start_time: 00:00,
end_time: '02:00'
--
You received this message because you are subscribed to a topic in the Google Groups "Prometheus Users" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prometheus-users/H_jrownsgvo/unsubscribe.
To unsubscribe from this group and all its topics, send an email to prometheus-use...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/prometheus-users/e0454a3c-2444-1242-2f77-40d4cc37b9e5%40disroot.org.