[GitHub documentation]: https://docs.github.com/en/actions/reference/authentication-in-a-workflow#permissions-for-the-github_token