fix: ji to gc in config
Some checks are pending
build / trigger-build-image (push) Waiting to run

This commit is contained in:
姚云翔523370910110 2026-06-02 17:46:51 +08:00
parent 0543701712
commit da02600511
GPG Key ID: 5C31648B7D2A74CC
2 changed files with 4 additions and 4 deletions

View File

@ -16,19 +16,19 @@ class Settings(BaseSettings):
canvas_course_id: int = 0
# gitea
gitea_domain_name: str = "focs.ji.sjtu.edu.cn"
gitea_domain_name: str = "focs.gc.sjtu.edu.cn"
gitea_suffix: str = "/git"
gitea_access_token: str = ""
gitea_org_name: str = ""
gitea_debug: bool = False
# git
git_host: str = "ssh://git@focs.ji.sjtu.edu.cn:2222"
git_host: str = "ssh://git@focs.gc.sjtu.edu.cn:2222"
repos_dir: str = "./repos"
default_branch: str = "master"
# mattermost
mattermost_domain_name: str = "focs.ji.sjtu.edu.cn"
mattermost_domain_name: str = "focs.gc.sjtu.edu.cn"
mattermost_suffix: str = "/mm"
mattermost_access_token: str = ""
mattermost_team: str = ""

View File

@ -244,7 +244,7 @@ def generate_title_and_comment(
f"Generated at {now} from [Gitea Actions #{run_number}]({action_link}), "
f"commit {commit_hash}, "
f"triggered by @{submitter}, "
f"run ID [`{run_id}`](https://focs.ji.sjtu.edu.cn/joj-mon/d/{settings.gitea_org_name}?var-Filters=RunID%7C%3D%7C{run_id}).\n"
f"run ID [`{run_id}`](https://focs.gc.sjtu.edu.cn/joj-mon/d/{settings.gitea_org_name}?var-Filters=RunID%7C%3D%7C{run_id}).\n"
"Powered by [JOJ3](https://github.com/joint-online-judge/JOJ3) and "
"[Joint-Teapot](https://github.com/BoYanZh/Joint-Teapot) with ❤️.\n"
)