Deployment scripts for my website.
Go to file
Florine W. Dekker 2081489d07
Remove "mirror-to-github" again
Because Gitea has built-in synchronization with GitHub, which I forgot about when I un-removed this script last time.
2023-02-09 11:38:30 +01:00
deploy-nginx Document scripts 2022-03-16 09:02:27 +01:00
deploy-npm Delete hidden files at deploy (excluding sunlink) 2022-08-29 01:25:00 +02:00
deploy-npm-versioned Exit if 'dist' directory is not created 2022-08-20 20:28:41 +02:00
deploy-static Move to tmp_dir before checking if dist exists 2022-11-21 22:39:08 +01:00