From c57d92eb20eaf17abc096c226d0ecafecb85b473 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= <bjoern.pedersen@frm2.tum.de>
Date: Wed, 26 Sep 2018 09:11:32 +0200
Subject: [PATCH] Fix git reference for docker env

Change-Id: Iaae09aef0838470753d4c80d43ba5812f23d11b6
Reviewed-on: https://forge.frm2.tum.de/review/18945
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 699deba..a8b9ac4 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -143,7 +143,7 @@ node("master") {
    }
     stage('(re-)generate image') {
        sh '''#!/bin/bash
-        git worktree add tmpmaster refs/heads/master
+        git worktree add tmpmaster origin/master
         cd tmpmaster
         docker build --target base --tag secop_base:latest ci
         docker build --target docs --tag secop_docs:latest ci