Skip to content

Add same git clone options that we used to have in gitlab-ci.#66

Merged
nanory merged 1 commit intomainfrom fix/git-clone-optionsDec 13, 2023