[Integrated] RFR: 190: git-pr: add flag --ignore-workspace

[Erik Helin]

Changeset: e4f28b2a
Author:    Erik Helin <ehelin at openjdk.org>
Date:      2019-12-11 13:37:33 +0000
URL:       https://git.openjdk.java.net/skara/commit/e4f28b2a

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

Reviewed-by: rwestberg

! cli/src/main/java/org/openjdk/skara/cli/GitPr.java