Move deployment away from Github to private server

Author Mitja Felicijan <mitja.felicijan@gmail.com> 2026-04-30 02:15:55 +0200
Committer Mitja Felicijan <mitja.felicijan@gmail.com> 2026-04-30 02:15:55 +0200
Commit 7332ac683c78d5cd94e44550fa92e1643840ab5b (patch)
-rw-r--r-- Makefile 5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
...
32 
  
 32 
  
33 
update-github: # Update GitHub projects
 33 
update-github: # Update GitHub projects
34 
	cd tools && python github-projects.py
 34 
	cd tools && python github-projects.py
 
  
 35 
  
 
  
 36 
deploy:
 
  
 37 
	-rm public/
 
  
 38 
	jbmafp --build
 
  
 39 
	rsync -avz --delete --progress ./public/ web@mitjafelicijan.com:/home/web/htdocs/