From a2757850024d22bfe6467698814ba76613db7bc9 Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Thu, 15 Sep 2016 16:37:17 +0200
Subject: [PATCH] Install git before running CI jobs

---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 139c604d..ce78fc9b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,6 +6,9 @@ stages:
   - quickcheck
   - fullbuild
 
+before_script:
+  - apt-get install git
+
 iris:
   stage: deps
   tags:
-- 
GitLab