Solving [git] issue on the CI. (!285) · Merge requests · bob / bob.devtools · GitLab

Closed Tiago de Freitas Pereira requested to merge fix into master Apr 13, 2022

fix proposed by https://github.com/actions/checkout/issues/760