update gitlab project id & token

Author: scPointer

.github/workflows/gitlab-mirror.yml

@@ -15,7 +15,7 @@ jobs:
         args: "https://git.tsinghua.edu.cn/os-lab/2025S/ta/rcore-tutorial-checker-2025S"
       env:
         GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
-        GITLAB_PROJECT_ID: "34687"
+        GITLAB_PROJECT_ID: "37681"
         GITLAB_PROJECT_NAME: "rcore-tutorial-checker-2025S"
         GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
         GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}

Makefile

@@ -3,7 +3,7 @@ CHAPTER ?=
 OFFLINE :=
 # This is only for TAs to run base test, students do not know the token
 TOKEN_SHA1 := $(shell echo -n '$(passwd)' | sha1sum | xargs | awk -F' ' '{ print $$1 }')
-ifeq ($(TOKEN_SHA1), 2ade230f77ab63c1a4b5abd7c34ea308a692d8e4)
+ifeq ($(TOKEN_SHA1), 1c22d32b04178593d7452f5eb5037bda00f73037)
 	BASE := 1
 	BASE_CHAR := b
 else