鲁树人 e96ebeac80 ci: deploy to main site when branch is main		2023-06-10 17:08:48 +01:00
..
deploy.sh	ci: deploy to main site when branch is main	2023-06-10 17:08:48 +01:00
publish.sh	ci: don't publish when we are inside PR	2023-06-10 16:11:26 +01:00