Teapot retry when local git is behind remote when push #70

New Issue

张泊明518370910136 · 2024-10-27T16:24:06+08:00

2024-10-27 16:24:06 +08:00

When multiple act runners exist on different machines in one course, teapot can not lock the git repo. When there are new commits pushed to remote after the git reset --hard origin/grading, the whole process of fetch+reset+modify files should be tried again.

When multiple act runners exist on different machines in one course, teapot can not lock the git repo. When there are new commits pushed to remote after the `git reset --hard origin/grading`, the whole process of fetch+reset+modify files should be tried again.

张泊明518370910136 added the

enhancement

component

UI

labels 2024-10-27 16:24:06 +08:00

张泊明518370910136 commented

2024-10-31 06:31:22 +08:00

Done in a4f6482b21.

Done in https://github.com/BoYanZh/Joint-Teapot/commit/a4f6482b21d4a121e49acd9376755142d73580ac.

张泊明518370910136 closed this issue

2024-10-31 06:31:22 +08:00

Sign in to join this conversation.