Skip to content

Hard reset after repo fetching

Achilleas Pipinellis - OOO until November 25th (parental leave) requested to merge fix-fetch into master

We need to reset because we cache the Git repos and just fetching will not work.

Merge request reports