G

github-cli

git command and hook that deletes local branches when a matching PR is merged

Github local scripts to:

Backup RestAPI JSON responses. Backup bare or/and checkouted repositories. Delete repositories. Workflow enable. Generate config files from backed up RestAPI JSON files.