Fix github actions comment
Fixes the name of the bot that comments.
_The documentation is not available anymore as the PR was closed or merged._<|||||>Ready for merge, feel free to check the edited comment above to see how it was impacted by the jobs.