Merge branch 'dev-tinker' into dev

This commit is contained in:
Stefan Zweifel 2019-08-31 18:34:10 +02:00
commit 11769ba87f

View File

@ -1,16 +1,38 @@
#!/bin/sh #!/bin/sh
set -eu set -eu
# Set up .netrc file with GitHub credentials
git_setup ( ) {
cat <<- EOF > $HOME/.netrc
machine github.com
login $GITHUB_ACTOR
password $GITHUB_TOKEN
machine api.github.com
login $GITHUB_ACTOR
password $GITHUB_TOKEN
EOF
chmod 600 $HOME/.netrc
git config --global user.email "actions@github.com"
git config --global user.name "GitHub Actions"
}
# This section only runs if there have been file changes
echo "Checking for uncommitted changes in the git working tree."
if ! git diff --quiet
then
git_setup
# Switch to branch from current Workflow run # Switch to branch from current Workflow run
git checkout "${GITHUB_REF:11}" git checkout "${GITHUB_REF:11}"
# Set origin URL git add .
git remote set-url origin https://$TOKEN:x-oauth-basic@github.com/$GITHUB_REPOSITORY
git config --global user.email "actions@github.com" git commit -m "$INPUT_COMMIT_MESSAGE" --author="$INPUT_COMMIT_AUTHOR_NAME <$INPUT_COMMIT_AUTHOR_EMAIL>"
git config --global user.name "GitHub Actions"
git add -A git push --set-upstream origin "${GITHUB_REF:11}"
git status else
git commit -m "$INPUT_COMMIT_MESSAGE" --author="$INPUT_COMMIT_AUTHOR_NAME <$INPUT_COMMIT_AUTHOR_EMAIL>" || echo "No changes found. Nothing to commit." echo "Working tree clean. Nothing to commit."
git push -u origin HEAD fi