Skip to content

ci: only git fetch HEAD unless more is needed#5938

Draft
serhalp wants to merge 2 commits intomainfrom ci/git-checkout-only-head