[Integrated] RFR: cli: use credentials when pushing to https URLs

[Erik Helin]

Changeset: 4b702e77
Author:    Erik Helin <ehelin at openjdk.org>
Date:      2020-03-25 16:16:50 +0000
URL:       https://git.openjdk.java.net/skara/commit/4b702e77

cli: use credentials when pushing to https URLs

Reviewed-by: rwestberg

! cli/src/main/java/org/openjdk/skara/cli/GitPublish.java
! cli/src/main/java/org/openjdk/skara/cli/GitSync.java
! cli/src/main/java/org/openjdk/skara/cli/pr/Utils.java