9ef788fe5b
Drops the need for a manually-managed RELEASE_TOKEN secret; adds contents:write permission so github.token can create the release.