guyzmo / guyzmo/git-repo

No way to close a merge request without merging it

Open
#154 1 comment 0 reactions 1 assignee Claimed by @guyzmo View on GitHub
backlog enhancement good first issue help wanted
Dominant language
Python
Stars
855
Forks
92
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

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.