Enable hiding of comments
I have comment count 3, but the PR has much more: https://github.com/JabRef/jabref/pull/12710
I "deleted" the other comments using comment.delete(). It seems this has no effect on the UI.
In the UI, one can use "Hide"
Should be possible via API, too?
Refs https://github.com/isaacs/github/issues/1480.
~~I mixed up review comments and normal comments.~~
Checked today. I am really ltalking about normal comments.
Hiding not available in API: https://hub4j.github.io/github-api/apidocs/org.kohsuke.github.api/org/kohsuke/github/GHIssueComment.html
Is comment hiding available in the REST API or is it only available through GraphQL?
If the former, that's normal for this library.
If the latter, we have another recent change that used GraphQL mutation. #2056 You could leverage that work.
PR welcome.