Merge branch 'use-marvin' into 'master'

Switch dev deployments to marvin

See merge request !94

.gitlab-ci.yml

-stages:
-  - build
-  - image
-  - deploy
-
-# Define some conditions to run the whole pipeline
-workflow:
-  rules:
-    - if: $CI_MERGE_REQUEST_ID                     # Run on MRs
-    - if: $CI_COMMIT_TAG                           # Run on tags
-    - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH  # Run on master
-
 # Customize the build rules and the artifacts here. You probably want to adjust
 # "opam.locked"
 # We define a cache in order to keep the switch with the dependencies installed,
@@ -37,7 +25,7 @@ build:
 
 include:
   - project: 'OCamlPro/gitlab-deployments'
-    ref: master
+    ref: marvin
     file: deploy.yml
 
 # Builds and pushes the Docker image using Kaniko