restart repo manager task if it crashes

Created by  Tomáš Zemanovič  on May 21, 2025
FVA36HBVXZCYW7FMQLST63Q6IDGLJ23OIHORF67BUIO2GXYNBW2QC
Change contents