From 2ad416e71d3c8940d253688b0e56b7658031a3c6 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 19 Jul 2016 21:53:02 +0200
Subject: [PATCH] Remove no longer existing branch from .gitlab-ci.yml.

---
 .gitlab-ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0b3b2f5fa..f24ff612b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,6 @@ buildjob:
   only:
   - master
   - jh_simplified_resources
-  - rk/substitution
   artifacts:
     paths:
     - build-time.txt
-- 
GitLab