diff --git a/bin/joj3-forge-convert b/bin/joj3-forge-convert index d60a2f4..86f7723 100755 --- a/bin/joj3-forge-convert +++ b/bin/joj3-forge-convert @@ -27,6 +27,7 @@ main() { local git_user="bot-$course" local git_email="bot-$course@focs.ji.sjtu.edu.cn" local git_server="ssh://git@focs.ji.sjtu.edu.cn:2222" + local joj3_forge_exit_code=0 # init repos if not exist if ! [ -d "$config_repo_path" ]; then @@ -77,7 +78,7 @@ EOF exit 1 fi - joj3-forge convert "/home/tt/.config/joj" + joj3-forge convert "/home/tt/.config/joj" || joj3_forge_exit_code=$? rsync -a --delete "/home/tt/.config/joj/" "$config_repo_path/home/tt/.config/joj" # enforce correct permissions @@ -94,6 +95,8 @@ EOF git -C "$config_repo_path" commit -m "chore: $commit_hash trigger joj3-forge convert [skip ci]" git -C "$config_repo_path" push fi + + exit "$joj3_forge_exit_code" } main "$@"