RFR: 190: git-pr: add flag --ignore-workspace

Wed Dec 11 13:29:06 UTC 2019

On Wed, 11 Dec 2019 13:26:07 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this small patch that adds the flag `--ignore-workspace` to
> `git-pr create` (also configurable). When `--ignore-workspace` is set, then
> `git-pr create` won't complain if there are changes in the worktree or in the
> staging area.
> 
> Thanks,
> Erik
> 
> - [x] Manual testing of `git-pr create` with changes in worktree and staging area

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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