I’m trying to add labels to PRs with github CLI.
Docs state that PR is an issue
https://developer.github.com/v3/pulls/#labels-assignees-and-milestonesAnd docs for issue state how to update issue with label
https://developer.github.com/v3/issues/#update-an-issueBut not yet sure how to do it for PR.
Anyone done it?