Deploy without credentials with GitHub Actions and OIDC

This feature in GitHub was made official at GitHub Universe yesterday. https://github.blog/2021-10-27-everything-new-from-universe-...