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

Wed Mar 15 14:10:46 UTC 2023

On Tue, 14 Mar 2023 17:43:14 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 two additional commits since the last revision:
> 
>  - fix a problem
>  - fix a problem

Marked as reviewed by erikj (Lead).

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

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