As github decided at some point that the generated GITHUB_TOKEN secret will only have read-only permissions (for new repos), unless you tell them to be different, I added the permissions key to the job. This will not affect this repository, but will affect e.g. new forks (the workflow will not throw an permissions error any more - Read more here: https://github.blog/changelog/2023-02-02-github-actions-updating-the-default-github_token-permissions-to-read-only/ )
This PR changes the following things in the docs workflow:
GITHUB_TOKENsecret will only have read-only permissions (for new repos), unless you tell them to be different, I added thepermissionskey to the job. This will not affect this repository, but will affect e.g. new forks (the workflow will not throw an permissions error any more - Read more here: https://github.blog/changelog/2023-02-02-github-actions-updating-the-default-github_token-permissions-to-read-only/ )