Reporting comment by github.com