KPI Date to july 1st (and no further changes) (!41) · Merge requests · HIFIS / Overall / KPI / KPI Plots-Calculations-CI

This sets KPI deadline to July 1st, as in !38 (merged), without preempting the weighting decisions of !38 (merged).

Edited Jul 26, 2022 by Uwe Jandt (DESY, HIFIS)

KPI Date to july 1st (and no further changes)