Skip to content

Commit

Permalink
fixup! build(ci): publish docs to GitHub Pages via CI
Browse files Browse the repository at this point in the history
  • Loading branch information
h4l committed Sep 21, 2024
1 parent c28ff22 commit 07b0d2f
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions scripts/ci-publish-docs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,11 +22,11 @@ cp -a "${built_site_dir:?}" "${publish_prefix_dir:?}"
git add "${publish_prefix_dir:?}"

if [[ "$(git status --porcelain)" != "" ]]; then
if ! git config author.email >/dev/null; then
git config author.email "${GIT_AUTHOR_EMAIL:?}"
if ! git config user.email >/dev/null; then
git config user.email "${GIT_AUTHOR_EMAIL:?}"
fi
if ! git config author.name >/dev/null; then
git config author.name "${GIT_AUTHOR_NAME:?}"
if ! git config user.name >/dev/null; then
git config user.name "${GIT_AUTHOR_NAME:?}"
fi

git commit -m "docs: update ${publish_prefix_dir@Q} docs built at ${git_head_sha:?}"
Expand Down

0 comments on commit 07b0d2f

Please sign in to comment.