Use a token that has "workflow" permission when propagating documentation content.
This is required when updating the content of a workflow, otherwise an error occurs: refusing to allow a Personal Access Token to create or update workflow '.github/workflows/push-content.yml' without 'workflow' scope.
Use this token also in the "Generate static version" workflow to simplify maintenance (the token used here needs the same permissions).
Notes
The formerly used token has been removed from the configuration and the secrets.
According to the GitHub search, the GH_PAT_TOKEN secret was only used in the 2 workflows updated in this PR.
Use a token that has "workflow" permission when propagating documentation content. This is required when updating the content of a workflow, otherwise an error occurs:
refusing to allow a Personal Access Token to create or update workflow '.github/workflows/push-content.yml' without 'workflow' scope
. Use this token also in the "Generate static version" workflow to simplify maintenance (the token used here needs the same permissions).Notes
The formerly used token has been removed from the configuration and the secrets. According to the GitHub search, the
GH_PAT_TOKEN
secret was only used in the 2 workflows updated in this PR.