From 21ae19df05d5831e08a81b1c4c561f1a7d1e2493 Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Sun, 13 Oct 2024 22:35:31 -0400
Subject: [PATCH] feat: copy repo-health-checker to image

---
 Dockerfile | 4 ++--
 Makefile   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 1b25ad5..21c3280 100644
--- a/Dockerfile
+++ b/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 & teapot wrapper
-COPY bin/joj3 bin/joj3-teapot /usr/local/bin/
+# install joj3 & repo-health-checker & teapot wrapper
+COPY bin/joj3 bin/repo-health-checker bin/joj3-teapot /usr/local/bin/
 
 USER student
 WORKDIR /home/student
diff --git a/Makefile b/Makefile
index ad9c35d..c76821e 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ all: build
 prepare:
 	git submodule update --init --remote
 	$(MAKE) -C JOJ3
-	cp JOJ3/build/joj3 bin/
+	cp JOJ3/build/joj3 JOJ3/build/repo-health-checker bin/
 
 force-build: prepare
 	docker build --no-cache -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .