Remove the use of TARGET_DIRECTORY as we always copy to the root fold…

…er (#6006)
treeverse · Jun 1, 2023 · c47aade · c47aade
1 parent d4ea840
commit c47aade
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/scripts/push-repo.sh b/.github/scripts/push-repo.sh
@@ -26,8 +26,8 @@ if [ ! -d "$SOURCE_DIRECTORY" ]; then
     exit 1
 fi
 
-echo "[+] Copying contents of source repository folder $SOURCE_DIRECTORY to folder $TARGET_DIRECTORY in git repo"
-cp -ra "$SOURCE_DIRECTORY"/. "$CLONE_DIR/$TARGET_DIRECTORY"
+echo "[+] Copying contents of source repository folder $SOURCE_DIRECTORY to the root folder in the git repo"
+cp -ra "$SOURCE_DIRECTORY"/. "$CLONE_DIR/"
 cd "$CLONE_DIR"
 
 ORIGIN_COMMIT="https://github.comt/$GITHUB_REPOSITORY/commit/$GITHUB_SHA"