mirror.yaml: pass PIPELINE_NAME (#20)

.github/workflows/mirror.yaml

@@ -38,3 +38,4 @@ jobs:
           GITHUB_REPOSITORY=${{ github.repository }}
           GITHUB_SHA=${{ github.event.pull_request.head.sha || github.sha }}
           GITHUB_PR=${{ github.event.pull_request.number }}
+          PIPELINE_NAME=${{ github.event.pull_request.title }}

.gitlab-ci.yml

@@ -8,6 +8,7 @@ variables:
   GITHUB_REPOSITORY: ''
 
 workflow:
+  name: '$PIPELINE_NAME'
   rules:
     - if: '$CI_PIPELINE_SOURCE == "merge_request_event"'
     - if: '$CI_PIPELINE_SOURCE == "web"'