Use the recommended way of cloning the industrial_ci repo - and explicit branch name
- Nov 15, 2019
-
-
Prada Sarasola, Miguel authored
This is the most conservative approach, and allows us to switch to master only when we explicitly decide to do so.
-
- Aug 29, 2019
-
-
Jon Azpiazu authored
-