Skip to content

Commit

Permalink
Update entrypoint.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
rhinempi authored Aug 22, 2024
1 parent 90fe44f commit e804e67
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions entrypoint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -304,12 +304,12 @@ do
# succeed, and create the remote branch.

set -x
git pull origin "${DATA_BRANCH_NAME}" || echo "pull failed, ignore (continue)"
git pull origin "${DATA_REPOSPEC}" || echo "pull failed, ignore (continue)"

export GHRS_GITHUB_API_TOKEN="${INPUT_OWNTOKEN}"

set +e
git remote set-url origin https://rhinempi:${INPUT_OWNTOKEN}@github.com/rhinempi/${DATA_BRANCH_NAME}.git
git remote set-url origin https://rhinempi:${INPUT_OWNTOKEN}@github.com/rhinempi/${DATA_REPOSPEC}.git
git push
PUSH_ECODE=$?
set -e
Expand Down

0 comments on commit e804e67

Please sign in to comment.