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

[Zhao Song]

On Thu, 9 Feb 2023 13:38:23 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   fix a problem
>
> bots/checkout/src/main/java/org/openjdk/skara/bots/checkout/CheckoutBot.java line 67:
> 
>> 65: 
>> 66:     private URI webURI() {
>> 67:         return from.remoteUrl();
> 
> I meant that this whole method is redundant now and can just be inlined.

Sorry, fixed it now.

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

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