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