search

guyzmo / git-repo

Git-Repo: CLI utility to manage git services from your workspace
https://webchat.freenode.net/?channels=#git-repo
Other
842 stars 86 forks source link

No way to close a merge request without merging it #154

Open dmerejkowsky opened 7 years ago

dmerejkowsky commented 7 years ago

There's an API for that, at least for github:

https://developer.github.com/v3/pulls/#update-a-pull-request

guyzmo commented 7 years ago

sure 👍

I'll add that