Skip to content

[CI] pull ref branch expicitly

Jan Kiene requested to merge ci/pull-ref-branch-explicitly into main

Explicitly pull the ref branch from origin after checking it out. This should avoid weird git problems that sometimes can happen on

Merge request reports