Details
-
Suggestion
-
Resolution: Done
-
P3: Somewhat important
-
None
-
master
-
None
Description
Suggestion from CI Feedback
Clone git repository instead of fetching sources. This way the user will have git tools available.
Attachments
Issue Links
- mentioned in
-
Page Loading...