tool.description=Fetch comments from a GitHub Pull Request
github.api.url=https://api.github.com
github.repo.owner={{github.repo.owner}}
github.repo.name={{github.repo.name}}
github.pr.number={{github.pr.number}}
github.auth.token={{github.auth.token}}
