TiddlyWiki5/bin/ci-push.sh

#!/bin/bash

# Push output back to GitHub

# Exit script immediately if any command fails
set -e

cd output
git config --global user.email "actions@github.com"
git config --global user.name "GitHub Actions"
git add -A .
git commit --message "GitHub build: $GITHUB_RUN_NUMBER of $TW5_BUILD_BRANCH ($(date +'%F %T %Z'))"
git remote add deploy "https://$GH_TOKEN@github.com/Jermolene/jermolene.github.io.git" &>/dev/null
git push deploy master &>/dev/null
cd ..
Add GitHub Actions workflow (#4793) * Parameterize strings that mention Travis This is so that the script can be shared with GitHub Actions while we make the transition. * Add GitHub Actions workflow More or less a direct translation of .travis.yml * Rename scripts that mention travis * Fix typo 2020-08-28 16:31:57 +00:00			`#!/bin/bash`

			`# Push output back to GitHub`

Simplify ci-push.sh: end script on any error (#4886) Use the bash -e option to exit on any error, so \|\| exit 1 is not needed. As a bonus, this lets us get the actual return code from any failures. 2020-10-26 16:58:21 +00:00			`# Exit script immediately if any command fails`
			`set -e`

			`cd output`
			`git config --global user.email "actions@github.com"`
			`git config --global user.name "GitHub Actions"`
			`git add -A .`
			`git commit --message "GitHub build: $GITHUB_RUN_NUMBER of $TW5_BUILD_BRANCH ($(date +'%F %T %Z'))"`
			`git remote add deploy "https://$GH_TOKEN@github.com/Jermolene/jermolene.github.io.git" &>/dev/null`
			`git push deploy master &>/dev/null`
			`cd ..`