update-gh-pages.sh

set -e

DIR="docs"
BRANCH="gh-pages"

# Stage all files in the directory
find "$DIR" -type f | xargs git update-index --add

# Write the sub-tree
TREE=$(git write-tree --prefix="$DIR")

# Commit the tree
COMMIT=$(git commit-tree "$TREE" -m 'update docs' -p "$BRANCH")

# Update branch to the new commit
git branch -f "$BRANCH" "$COMMIT"

# Unstage files again
find "$DIR" -type f | xargs git update-index --remove