#git - August 2020

gitArchived

2 messages

All things git (except gitops)

August 2020

Matt Gowieabout 6 years ago

@Matt Gowie has joined the channel

Marcin Brańskiabout 6 years ago

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-milestones
And docs for issue state how to update issue with label
https://developer.github.com/v3/issues/#update-an-issue
But not yet sure how to do it for PR.

Anyone done it?