If the author had used the native secrets.GITHUB_TOKEN then yes.
> Does Github appropriately inform about the risk of combining an agentic workflow with access to private repository data?
Not really, but also this highlights a broader issue: GitHub introduced fine-grained access tokens quite a while ago to prevent these situations. However, fine-grained access tokens don't work for a fair segment of the GitHub API for whatever reason. So often you have to use a personal access token to create a GitHub integration, and these have extremely broad permissions. Having said that, that is still the author's choice.