Merge pull request SvanBoxel#3 from masterleinad/master

Prepend branch name with repository name

Author: SvanBoxel

entrypoint.sh

@@ -7,7 +7,7 @@ POLL_TIMEOUT=${POLL_TIMEOUT:-$DEFAULT_POLL_TIMEOUT}
 
 git checkout "${GITHUB_REF:11}"
 
-branch=$(git symbolic-ref --short HEAD)
+branch=${GITHUB_REPOSITORY}/$(git symbolic-ref --short HEAD)
 
 sh -c "git config --global credential.username $GITLAB_USERNAME"
 sh -c "git config --global core.askPass /cred-helper.sh"
@@ -18,6 +18,9 @@ sh -c "git push mirror $branch"
 
 sleep $POLL_TIMEOUT
 
+# convert slashes in a HTML-compatible way
+branch=${branch//\//%2F}
+
 pipeline_id=$(curl --header "PRIVATE-TOKEN: $GITLAB_PASSWORD" --silent "https://${GITLAB_HOSTNAME}/api/v4/projects/${GITLAB_PROJECT_ID}/repository/commits/${branch}" | jq '.last_pipeline.id')
 
 echo "Triggered CI for branch ${branch}"