feat: remove joj3-teapot (#4)

Reviewed-on: #4
Co-authored-by: Boming Zhang <bomingzh@sjtu.edu.cn>
Co-committed-by: Boming Zhang <bomingzh@sjtu.edu.cn>

.gitignore

@@ -1,2 +1,2 @@
-/bin/*
-!/bin/joj3-teapot
+/bin/joj3
+/bin/repo-health-checker

Dockerfile

@@ -17,8 +17,8 @@ RUN sed -i s@/deb.debian.org/@/mirrors.tuna.tsinghua.edu.cn/@g /etc/apt/sources.
 # TODO: change it to FOCS gitea mirror for deployment
 RUN pip install git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot --break-system-packages
 
-# install joj3 & repo-health-checker & teapot wrapper
-COPY bin/joj3 bin/repo-health-checker bin/joj3-teapot /usr/local/bin/
+# install joj3 & repo-health-checker
+COPY bin/joj3 bin/repo-health-checker /usr/local/bin/
 
 USER student
 WORKDIR /home/student

bin/joj3-teapot

@@ -1,32 +0,0 @@
-#!/usr/bin/bash
-
-set -e
-
-export LOG_FILE_PATH=/home/tt/.cache/joint-teapot-debug.log
-export _TYPER_STANDARD_TRACEBACK=1
-ENV_FILE_PATH=/home/tt/.config/teapot/teapot.env
-JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json
-GRADING_REPO_NAME="$1"
-SUBMITTER_NAME="$2"
-SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2)
-RUN_NUMBER="$4"
-
-/usr/local/bin/joint-teapot joj3-scoreboard \
-    $ENV_FILE_PATH \
-    $JOJ3_RESULT_FILE_PATH \
-    $SUBMITTER_NAME \
-    $GRADING_REPO_NAME \
-    $SUBMITTER_REPO_NAME \
-    $RUN_NUMBER
-/usr/local/bin/joint-teapot joj3-failed-table \
-    $ENV_FILE_PATH \
-    $JOJ3_RESULT_FILE_PATH \
-    $SUBMITTER_NAME \
-    $GRADING_REPO_NAME \
-    $SUBMITTER_REPO_NAME \
-    $RUN_NUMBER
-/usr/local/bin/joint-teapot joj3-create-result-issue \
-    $ENV_FILE_PATH \
-    $JOJ3_RESULT_FILE_PATH \
-    $SUBMITTER_REPO_NAME \
-    $RUN_NUMBER