RFR: cli: use credentials when pushing to https URLs

[Robin Westberg]

On Wed, 25 Mar 2020 15:11:30 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that makes `git-sync` and `git-publish` use credentials
> when they are pushing to `https://` URLs. I also update all `git-pr` to approve
> credentials that have been used successfully.
> 
> Testing:
> - Manual testing of `git-sync`, `git-publish` and `git-pr` together with
>   `https://` URLs
> 
> Thanks,
> Erik

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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