Feature Request - merge Pull Request button #108
Description
'merge' button should merge a pull request to the default branch for the repository, having checked that the PR is mergeable first.
{{ message }}
'merge' button should merge a pull request to the default branch for the repository, having checked that the PR is mergeable first.