Comments for [automatically adding comments to GitHub PRs](https://netomi.github.io/eclipse/2024/08/21/adding-comments-to-pr.html).