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

bin/ci-push.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+# Push output back to GitHub
+
+
+cd output || exit 1
+
+git config --global user.email "${COMMIT_EMAIL:-travis@travis-ci.org}" || exit 1
+
+git config --global user.name "${COMMIT_NAME:-Travis CI}" || exit 1
+
+git add -A . || exit 1
+
+git commit --message "${COMMIT_CONTEXT:-Travis build}: $TRAVIS_BUILD_NUMBER of $TRAVIS_BRANCH ($(date +'%F %T %Z'))" || exit 1
+
+git remote add deploy "https://$GH_TOKEN@github.com/Jermolene/jermolene.github.io.git" &>/dev/null || exit 1
+
+git push deploy master &>/dev/null || exit 1
+
+cd .. || exit 1

bin/travis-push.sh

@@ -1,20 +0,0 @@
-#!/bin/bash
-
-# Push output back to GitHub
-
-
-cd output || exit 1
-
-git config --global user.email "travis@travis-ci.org" || exit 1
-
-git config --global user.name "Travis CI" || exit 1
-
-git add -A . || exit 1
-
-git commit --message "Travis build: $TRAVIS_BUILD_NUMBER of $TRAVIS_BRANCH ($(date +'%F %T %Z'))" || exit 1
-
-git remote add deploy "https://$GH_TOKEN@github.com/Jermolene/jermolene.github.io.git" &>/dev/null || exit 1
-
-git push deploy master &>/dev/null || exit 1
-
-cd .. || exit 1