rework lock handling in rtd handler #424

Merged

muellerr merged 2 commits from tweaks_rtd_locks into develop

2023-03-03 15:21:58 +01:00

Author	SHA1	Message	Date
Robin Müller	3b0490835c	Merge branch 'develop' into tweaks_rtd_locks	2023-03-03 15:21:46 +01:00
Robin Mueller	fcba76b7f1	rework lock handling in rtd handler Some checks are pending EIVE/eive-obsw/pipeline/head Build started... Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2023-03-03 11:43:47 +01:00