Permissions denied to github actions bot while building documentation

[digital_carver]

Is it this issue:

Slow TagBot. No repo update after 16 hours

For anyone still experiencing this issue, it may be due to a permission change that Github implemented some time early May (credit to @mfiano for figuring this out). The default permission for GITHUB_TOKEN was changed from “read and write” to “read only”. The TagBot README and the example.yml show the way to restore the required permissions at the YAML file level. (This comment describes the issue and shows a way to fix it via Github UI, on a per-repository level.) The YAML change just involve…