| #!/bin/sh |
| set -e |
| |
| INPUT_BRANCH=${INPUT_BRANCH:-master} |
| INPUT_FORCE=${INPUT_FORCE:-false} |
| INPUT_DIRECTORY=${INPUT_DIRECTORY:-'.'} |
| _FORCE_OPTION='' |
| |
| echo "Push to branch $INPUT_BRANCH"; |
| [ -z "${INPUT_GITHUB_TOKEN}" ] && { |
| echo 'Missing input "github_token: ${{ secrets.GITHUB_TOKEN }}".'; |
| exit 1; |
| }; |
| |
| if ${INPUT_FORCE}; then |
| _FORCE_OPTION='--force' |
| fi |
| |
| cd ${INPUT_DIRECTORY} |
| |
| remote_repo="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" |
| |
| git push "${remote_repo}" HEAD:${INPUT_BRANCH} --follow-tags $_FORCE_OPTION; |
