Some repos may be using GH_TOKEN_NEXTSTRAIN_BOT_REPO on @nextstrain-bot account for creating GitHub Releases. In a Slack thread with @ivan-aksamentov, we figured out that it's unnecessary and sometimes doesn't work. Instead, the default github.token/GITHUB_TOKEN should be used for this purpose.