Follow-up from "Fix GaussinoExtLibs gitlab group and clean up"
The following discussion from !413 (merged) should be addressed:
-
@clemenci started a discussion: This should check if the project already declares a Git URL in checkout_options and use that instead of guessing.