oks-08-03-02

Igor Soloviev

@isolov

1d5b9a9f · fix recovery procedure if git push fails · Nov 17, 2020

New tdaq-09-02-01 patch to fix recovery in case of git push failure