github: fix git remote url

Fixes error:

Run set -euxo pipefail
+ [[ -d .git ]]
+ git clean -ffdx
+ git reset --hard HEAD
HEAD is now at 0441781 devconfig: add a default for kdevops_enable_terraform
+ git remote set-url origin https://github.com/linux-kdevops/kdevops
+ git fetch --depth=1 origin main
fatal: could not read Username for 'https://github.com': No such device or address

Signed-off-by: Daniel Gomez <[email protected]>

Author: dkruces

.github/workflows/kdevops.yml

@@ -195,12 +195,12 @@ jobs:
                 --reference /mirror/kdevops.git \
                 --depth=1 \
                 --branch ${{ github.ref_name }} \
-                $GITHUB_SERVER_URL/$GITHUB_REPOSITORY .
+                $GITHUB_SERVER_URL/$GITHUB_REPOSITORY.git .
             else
               git clone --verbose --progress \
                 --depth=1 \
                 --branch ${{ github.ref_name }} \
-                $GITHUB_SERVER_URL/$GITHUB_REPOSITORY .
+                $GITHUB_SERVER_URL/$GITHUB_REPOSITORY.git .
             fi
           fi