RFR: git-pr: add multiple new options to "git pr set"

[Robin Westberg]

On Fri, 21 Feb 2020 09:04:47 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that adds a number of options to `git pr set`:
> 
> - `--open` - set the pull request's state to "open"
> - `--closed` - set the pull request's state to "closed"
> - `--title` - set the pull request's title
> - `--body` - set the pull request's body
> 
> Already existing options to `git pr set` include:
> 
> - `--assignees` - set the assignees of the pull request
> - `--no-draft` - set the pull request's state to "not draft"
> 
> All in all, `git pr set` has now become rather useful ��
> 
> Testing:
> - Manual testing of `git pr set` on Linux x64
> 
> Thanks,
> Erik

Looks good!

-------------

Marked as reviewed by rwestberg (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/461