backlogenhancementgood first issuehelp wanted
Repository metrics
- Stars
- (837 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
There's an API for that, at least for github:
https://developer.github.com/v3/pulls/#update-a-pull-request
There's an API for that, at least for github:
https://developer.github.com/v3/pulls/#update-a-pull-request