From dda4c5d13b4134d738ebaf0d20e1d618c85e29f5 Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Tue, 11 Dec 2018 11:20:14 +0100
Subject: [PATCH] Rename
---
ubuntu18.04/base/profile.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ubuntu18.04/base/profile.sh b/ubuntu18.04/base/profile.sh
index 05d518c..c43e018 100644
--- a/ubuntu18.04/base/profile.sh
+++ b/ubuntu18.04/base/profile.sh
@@ -3,7 +3,7 @@ function gitlab-fetch-artifacts {
7z e artifacts.zip; rm artifacts.zip
}
-function gitlab-trigger {
+function gitlab-trigger-pipeline {
curl --request POST --form "token=$2" --form "ref=$3" "https://git.imp.fu-berlin.de/api/v4/projects/$1/trigger/pipeline"
}
--
GitLab