feat: remove teapot-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-checker
-COPY bin/joj3 bin/repo-health-checker bin/teapot-checker /usr/local/bin/
+# install joj3 & repo-health-checker
+COPY bin/joj3 bin/repo-health-checker /usr/local/bin/
 
 USER student
 WORKDIR /home/student

Makefile

@@ -7,10 +7,10 @@ all: build
 prepare:
 	git submodule update --init --remote
 	$(MAKE) -C JOJ3
-	cp JOJ3/build/joj3 JOJ3/build/repo-health-checker JOJ3/build/teapot-checker bin/
-	# ls -lha bin
-	# upx --best bin/*
-	# ls -lha bin
+	cp JOJ3/build/joj3 JOJ3/build/repo-health-checker
+	ls -lha bin
+	upx --best bin/*
+	ls -lha bin
 
 force-build: prepare
 	docker build --no-cache -t $(IMAGE_NAME) .