mirror of
https://github.com/ParkerTenBroeck/automata.git
synced 2026-06-06 21:24:06 -04:00
fixed another issue in script
This commit is contained in:
parent
1f5e5210ea
commit
942849a15c
1 changed files with 2 additions and 2 deletions
|
|
@ -88,14 +88,14 @@ mkdir -p docs
|
||||||
# Copy contents of dist into docs
|
# Copy contents of dist into docs
|
||||||
cp -R dist/. ../docs/
|
cp -R dist/. ../docs/
|
||||||
|
|
||||||
git add docs
|
git add ../docs
|
||||||
|
|
||||||
# Commit if changed
|
# Commit if changed
|
||||||
if git diff --quiet; then
|
if git diff --quiet; then
|
||||||
echo "✅ No changes to commit in docs/. Skipping commit."
|
echo "✅ No changes to commit in docs/. Skipping commit."
|
||||||
else
|
else
|
||||||
echo "📝 Committing docs update..."
|
echo "📝 Committing docs update..."
|
||||||
git commit -m "Deploy: update docs from dist"
|
git commit -m "Deploy"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "🚀 Pushing '$PAGES_BRANCH' to '$REMOTE'..."
|
echo "🚀 Pushing '$PAGES_BRANCH' to '$REMOTE'..."
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue