guyzmo/git-repo
Ver no GitHubNo way to close a merge request without merging it
Open
#154 aberto em 7 de mai. de 2017
backlogenhancementgood first issuehelp wanted
Métricas do repositório
- Stars
- (837 stars)
- Métricas de merge de PR
- (Nenhuma PRs mesclada em 30d)
Description
There's an API for that, at least for github:
https://developer.github.com/v3/pulls/#update-a-pull-request