diff --git a/bin/joj3-teapot b/bin/joj3-teapot index b35af99..2183868 100755 --- a/bin/joj3-teapot +++ b/bin/joj3-teapot @@ -2,14 +2,12 @@ set -ex -echo "GITHUB_ACTOR: $GITHUB_ACTOR" -echo "GITHUB_REPOSITORY: $GITHUB_REPOSITORY" export LOG_FILE_PATH=/tmp/joint-teapot.log ENV_FILE_PATH=/mnt/tt/.config/teapot.env JOJ3_RESULT_FILE_PATH=/tmp/joj3_result.json GRADING_REPO_NAME="$1" -SUBMITTER_NAME="$GITHUB_ACTOR" -SUBMITTER_REPO_NAME=$(echo "$GITHUB_REPOSITORY" | cut -d'/' -f2) +SUBMITTER_NAME="$2" +SUBMITTER_REPO_NAME=$(echo "$3" | cut -d'/' -f2) /usr/local/bin/joint-teapot joj3-scoreboard \ $ENV_FILE_PATH \