RFR: 193: git-pr: add flag --publish

[Robin Westberg]

On Wed, 11 Dec 2019 14:10:22 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that adds the flag `--publish` to `git-pr create`
> (also configurable). When `--publish` is set then `git-pr` will call
> `git-publish --quiet` if the branch is not yet pushed to the remote. This
> avoids having to type `git publish && git pr create` when creating pull
> requests from the command-line.
> 
> Note that I had to update `git-publish` a bit to fully support the `--quiet`
> flag.
> 
> Thanks,
> Erik
> 
> - [x] Manual testing of `git-pr create --publish`

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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