From 7ccd7063e4cca23105d638eecb355556334f55c2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 24 Mar 2018 14:11:50 +0100
Subject: [PATCH] fix submitting to opam-updater
---
buildjob | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildjob b/buildjob
index 216308c..1bae0dc 100755
--- a/buildjob
+++ b/buildjob
@@ -68,7 +68,7 @@ if [[ -n "$OPAM_PKG" && "$CI_COMMIT_REF_NAME" == "${OPAM_PKG_BRANCH:-master}" ]]
# Trigger opam updater
curl --fail -sS -X POST https://gitlab.mpi-sws.org/api/v4/projects/581/trigger/pipeline \
-F "token=$OPAM_UPDATE_SECRET" \
- -F "ref=master" \ # the branch we trigger on the other end
+ -F "ref=master" \
-F "variables[REPO]=$CI_PROJECT_URL.git" \
-F "variables[REF]=$CI_COMMIT_REF_NAME" \
-F "variables[SHA]=$CI_COMMIT_SHA" \
--
GitLab