Changeset - 779d43be59c6
default
0
3
0
pullrequests: make it possible to delete pull requests instead of commenting
Deleting a pull request might however be a bad idea - the reviews on the PR
will be lost.
Deleting a pull request might however be a bad idea - the reviews on the PR
will be lost.
3 files changed with 48 insertions and 3 deletions:
0 comments (0 inline, 0 general)
0 comments (0 inline, 0 general)