Alexis Sellier c1d4e87d25 ci: Use local deploy script instead of CI ... Further reduce GitHub reliance.		2023-05-10 10:41:01 +02:00
..
delete-remote-refs.sh	scripts: Refuse to delete own remote	2023-04-29 11:49:35 +02:00
deploy-seed	ci: Use local deploy script instead of CI	2023-05-10 10:41:01 +02:00
import-issue.sh	scripts: Update `import-issue`	2023-04-21 15:31:56 +02:00
install	Add `install` script	2023-04-06 11:29:42 +02:00
patch-rebase.sh	Update scripts with a couple of new ones	2023-04-27 11:08:56 +02:00
show-sigrefs.sh	Update scripts with a couple of new ones	2023-04-27 11:08:56 +02:00