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