actions/github-push-action
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update the documentation and the push process (#135)

Browse Source 
* doc: Update the documentation and the push process
This commit is contained in:
Pascal Zimmermann
2022-10-31 08:55:44 +01:00
committed by GitHub
parent 4dcce6dea3
commit 552c074ed7
2 changed files with 85 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
start.sh Executable file → Normal file
View File

@@ -46,8 +46,10 @@ else
remote_repo="${INPUT_GITHUB_URL_PROTOCOL}//${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@${INPUT_GITHUB_URL}/${REPOSITORY}.git"
fi
if ${INPUT_FORCE_WITH_LEASE}; then
git push $_ATOMIC_OPTION --follow-tags $_FORCE_OPTION $_TAGS;
else
git push "${remote_repo}" HEAD:${INPUT_BRANCH} $_ATOMIC_OPTION --verbose --follow-tags $_FORCE_OPTION $_TAGS;
git config --local --add safe.directory ${INPUT_DIRECTORY}
if ! ${INPUT_FORCE_WITH_LEASE}; then
ADDITIONAL_PARAMETERS="${remote_repo} HEAD:${INPUT_BRANCH}"
fi
git push $ADDITIONAL_PARAMETERS $_ATOMIC_OPTION --follow-tags $_FORCE_OPTION $_TAGS;