Support for passing username/password in URL for HTTPS connections

[szpak]

Git itself supports passing username or/and password in HTTPS connection URL, e.g.

https://user@pass:host.xz/path/to/repo.git/

That mechanism is used for example when pushing to GitHub from CI server with security tokens.

There is a simple workaround - passing username/password in Credential object, but it could be hard to apply/not supported when GrGit is used through the 3rd tools. Therefore it would be good to support also credentials encoded in the URL.

[ajoberstar]

Since, I'm just passing the URLs straight into JGit, I think that's where the limitation is. Another way to work around this would be to use the system properties noted in the docs.

[szpak]

Probably jgit would be a better place to send that issue.

I have missed those system properties. In fact they could be an alternative.