Chocobo1 413e7dd3c4 GHA CI: use proper git URL ...

The `repo` value will be used by `git clone` command and therefore the
URL should end with `.git` for repos on Github.
https://pre-commit.com/#repos-repo

PR #19710.

2023-10-16 14:51:43 +08:00

2.7 KiB

Raw Blame History

View Raw