RFR: 195: git-pr should support flag --ignore-local-commits

[Robin Westberg]

On Thu, 12 Dec 2019 10:54:59 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that adds the flag `--ignore-local-commits` to `git-pr
> create` (also configurable). If `--ignore-local-commits` is specified then
> `git-pr create` will not complain about local commits in the branch have not
> been pushed.
> 
> Thanks,
> Erik
> 
> - [x] Manual testing of `git-pr create`

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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