Remove no longer existing branch from .gitlab-ci.yml.

2ad416e7 · Robbert Krebbers · 4e2b0860 · 2ad416e7
Commit 2ad416e7 authored Jul 19, 2016 by Robbert Krebbers
--- 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