elsid f007025ced

Add job ID to discord notification ...

To easily track down where it comes from.

2021-12-09 21:23:15 +01:00

..

find_missing_merge_requests.py

Add job ID to discord notification

2021-12-09 21:23:15 +01:00

osg_stats.py

Add a regexp_match flag for keys used in stats and timeseries. When set, the argument given is considered a regexp against which the keys are matched.

2021-12-01 15:24:35 +01:00