diff --git a/ubuntu18.04/base/profile.sh b/ubuntu18.04/base/profile.sh
index 656c218af25f9f1d4895e12342f4702c9d3e4a92..05d518c3c858d56a6cf6db2dfe43a4c787a7837c 100644
--- a/ubuntu18.04/base/profile.sh
+++ b/ubuntu18.04/base/profile.sh
@@ -3,6 +3,10 @@ function gitlab-fetch-artifacts {
     7z e artifacts.zip; rm artifacts.zip
 }
 
+function gitlab-trigger {
+    curl --request POST --form "token=$2" --form "ref=$3" "https://git.imp.fu-berlin.de/api/v4/projects/$1/trigger/pipeline"
+}
+
 function cmake-integrate-package {
     7z e $1-*.tar.xz; rm $1-*.tar.xz
     7z x $1-*.tar; rm $1-*.tar