Michael Stefaniuc : gitlab: Import the gitlab CI from the master branch (devel tree).