use project token instead of personal token

Author: Gallium70

.github/workflows/gitlab-mirror.yml

@@ -8,12 +8,12 @@ jobs:
     steps:
     - uses: actions/checkout@v1
     - name: Mirror + trigger CI
-      uses: SvanBoxel/gitlab-mirror-and-ci-action@master
+      uses: Gallium70/gitlab-mirror-and-ci-action@master
       with:
         args: "https://git.tsinghua.edu.cn/os-lab/public/rcore-tutorial-code-2022s"
       env:
         GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
-        GITLAB_USERNAME: "youyy18"
-        GITLAB_PASSWORD: ${{secrets.GITLAB_PASSWORD}}
         GITLAB_PROJECT_ID: "12002"
+        GITLAB_PROJECT_NAME: "rcore-tutorial-code-2022s"
+        GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
         GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}