Delete github secrets - now handled in dedicated secrets repo#35

JonJagger wants to merge 1 commit intomainkosli-dev/github-release-example:mainfrom

delete-github-secrets-handlingkosli-dev/github-release-example:delete-github-secrets-handlingCopy head branch name to clipboard