ci: simplifying mirroring workflow

Author: DeveloperC286

.github/workflows/mirroring.yml

@@ -2,6 +2,9 @@ name: Mirroring
 
 on: [push, delete]
 
+permissions:
+  contents: read
+
 concurrency:
   group: ${{ github.workflow }}
 
@@ -11,7 +14,5 @@ jobs:
     steps:
       - name: Checkout code.
         run: git clone --mirror "https://github.com/${GITHUB_REPOSITORY}.git" "${GITHUB_WORKSPACE}"
-      - name: Get GitLab repository.
-        run: echo "REPOSITORY_NAME=${GITHUB_REPOSITORY/${GITHUB_REPOSITORY_OWNER}/}" >> "${GITHUB_ENV}"
       - name: Mirroring.
-        run: git push --mirror "https://oauth2:${{ secrets.GITLAB_PERSONAL_ACCESS_TOKEN }}@gitlab.com/DeveloperC/${REPOSITORY_NAME}"
+        run: git push --mirror "https://oauth2:${{ secrets.GITLAB_PERSONAL_ACCESS_TOKEN }}@gitlab.com/DeveloperC/${{ github.event.repository.name }}"