Splitting publish into push and publish

2024-02-17 17:59:28 +02:00 · 2024-02-17 17:59:28 +02:00 · 228f35cb67
parent 29e27d0d89
commit 228f35cb67
1 changed files with 4 additions and 2 deletions
--- a/6
+++ b/6
@ -1,10 +1,12 @@
-all: write publish
+all: write push publish

 write:
 	./noter/writer.sh public

-publish:
+push:
 	git add public
 	git commit -m "Updating site via make at $$(date --iso=seconds)"
 	git push
+
+publish:
 	ssh siina.monster "cd /var/www/siina.monster && git pull"