Skip to content

Hard reset after repo fetching

Achilleas Pipinellis 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