ci: deploy builds to production
All checks were successful
Build and deploy / lint (push) Successful in 1m9s

This commit is contained in:
Iain Learmonth 2025-06-20 14:52:51 +01:00
parent 7ac34257d9
commit 925402ab89
3 changed files with 17 additions and 3 deletions

View file

@ -1,2 +1,16 @@
set unstable
update:
rsync -rv --delete ~/brain/brain/public/ content/
#!/usr/bin/env bash
if ! git diff --cached --quiet; then \
echo "Error: there are pre-existing staged changes" && exit 1; \
fi
rsync -rv --delete $HOME/brain/brain/public/ content/
git add content/
if ! git diff --cached --quiet; then \
export TIMESTAMP=$(date -u +"%Y-W%V-%u %H:%M:%S"); \
git commit -m "checkpoint: ${TIMESTAMP}"; \
fi