Merge branch 'trigger-pipelines' into 'develop'

trigger pipeline mechanism

See merge request !265

.gitlab-ci.yml

@@ -7,6 +7,7 @@ stages:
   - build
   - generate
   - deploy
+  - trigger
 
 # prepare
 # ------------------------------------------------------------------------------------
@@ -147,3 +148,18 @@ deploy:vm:
     - scp -P $SSHPORT -r processed_build/* $SSHCONNECT:~/$CI_COMMIT_REF_NAME/sources/public/$CI_JOB_ID
     - ssh -p $SSHPORT $SSHCONNECT "cd ~/$CI_COMMIT_REF_NAME/public && ln -fs ../sources/public/$CI_JOB_ID/* . && cd ~/$CI_COMMIT_REF_NAME/sources/public/ && find . -type d -not -newermt '-1 minutes' -exec rm -rf {} +;"
 
+# Trigger pipelines in internal repo
+# ------------------------------------------------------------------------------------
+
+trigger:
+  stage: trigger
+  image: docker:19.03.13
+  rules:
+    - if: '$CI_COMMIT_BRANCH == "master" || $CI_COMMIT_BRANCH == "develop"'
+  tags:
+    - privileged
+  services:
+    - name: docker:19.03.13-dind
+      command: ["--tls=false", "--mtu=1458", "--registry-mirror", "https://docker-registry.lcsb.uni.lu"]
+  script:
+    - docker run curlimages/curl --silent --output /dev/null -X POST -F token=$GIT_ACCESS_TOKEN -F ref=$CI_COMMIT_BRANCH $INTERNAL_REPO
\ No newline at end of file