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.

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 · 2022-03-16 09:02:27 +01:00 · 2022-08-29 01:25:00 +02:00 · 2022-08-20 20:28:41 +02:00 · 2022-11-21 22:39:08 +01:00
diff --git a/Florine W. Dekker b/Florine W. Dekker
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