tvapp/scripts/update-wiki.sh

#!/bin/sh
#
#  Copyright (c) Milan Jurkulák 2024.
#  Contact:
#  e: mimoccc@gmail.com
#  e: mj@mjdev.org
#  w: https://mjdev.org
#
set -eu
#
TEMP_REPO_DIR="$GITHUB_REPOSITORY$GITHUB_SHA"
#
if [ -z "$WIKI_DIR" ]; then
    echo "Wiki location is not specified, using default wiki/"
    WIKI_DIR='wiki'
fi
#
if [ -z "$GH_TOKEN" ]; then
    echo "Token is not specified"
    exit 1
fi
# Clone wiki repo
echo "Cloning wiki repo https://github.com/$GITHUB_REPOSITORY.wiki.git"
#
git clone "https://$GITHUB_ACTOR:$GH_TOKEN@github.com/$GITHUB_REPOSITORY.wiki.git" "$TEMP_REPO_DIR"
# Copy wikis
echo "Removing old wiki"
old_dir=$(pwd)
cd "$TEMP_REPO_DIR" || exit
git rm -rf .
git clean -fxd
git update-ref -d refs/heads/master
cd "$old_dir" || exit
echo "Copying edited wiki"
cp -a "$WIKI_DIR/." "$TEMP_REPO_DIR"
# Get commit details
author=$(git log -1 --format="%an")
email=$(git log -1 --format="%ae")
message=$(git log -1 --format="%s")
# Changes check
echo "Checking if wiki has changes"
cd "$TEMP_REPO_DIR" || exit
git config --local user.email "$email"
git config --local user.name "$author"
git add .
if git diff-index --quiet HEAD; then
  echo "Nothing changed"
  exit 0
fi
# Push
echo "Pushing changes to wiki"
git commit -m "$message" && git push "https://$GITHUB_ACTOR:$GH_TOKEN@github.com/$GITHUB_REPOSITORY.wiki.git"
# Done