According to https://developer.github.com/v3/pulls/comments/#create-a-comment all parameters
are required. But what do I have to pass if I want to add a generic PR comment (not related to a specific commit or path)? Can I just leave those parameters empty?
It would be nice if the documentation could be clarified in this regard.