RFR: 1813: URLs printed by Skara should have ".git" at the end of the repo name [v7]

[Zhao Song]

On Fri, 10 Feb 2023 17:58:47 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> In this patch, `.git` is added to the URLs printed by Skara.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
> 
>   rename remoteUrl and url

bots/hgbridge/src/main/java/org/openjdk/skara/bots/hgbridge/JBridgeBot.java line 123:

> 121:             IOException lastException = null;
> 122:             for (var destination : exporterConfig.destinations()) {
> 123:                 var markerBase = destination.authenticatedUrl().getHost() + "/" + destination.name();

I think here should be `.url()` too.

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

PR: https://git.openjdk.org/skara/pull/1467