guyzmo/git-repo

No way to close a merge request without merging it

Open

#154 opened on May 7, 2017

 (1 comment) (0 reactions) (1 assignee)Python (91 forks)batch import
backlogenhancementgood first issuehelp wanted

Repository metrics

Stars
 (854 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

Contributor guide