RFR: 1813: URLs printed by Skara should have ".git" at the end of the repo name [v5]
Erik Joelsson
erikj at openjdk.org
Thu Feb 9 13:40:29 UTC 2023
On Wed, 8 Feb 2023 23:42:25 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:
>
> 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.
-------------
PR: https://git.openjdk.org/skara/pull/1467
More information about the skara-dev
mailing list