Integrated: 1813: URLs printed by Skara should have ".git" at the end of the repo name

Wed Mar 15 15:06:03 UTC 2023

On Wed, 8 Feb 2023 19:51:52 GMT, Zhao Song <zsong at openjdk.org> wrote:

> In this patch, `.git` is added to the URLs printed by Skara.

This pull request has now been integrated.

Changeset: 0c82310e
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/0c82310ee17685663e963d7cb085e67494f8975d
Stats:     1410 lines in 85 files changed: 27 ins; 37 del; 1346 mod

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

Reviewed-by: erikj, gli

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

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