diff --git a/ubuntu18.04/base/profile.sh b/ubuntu18.04/base/profile.sh index 05d518c3c858d56a6cf6db2dfe43a4c787a7837c..c43e018ffa16d787edc37a8dee04a0c6710243dc 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" }