fix: update destination repository URLs in ebrains-push workflow

Author: steffengraber

.github/workflows/ebrains-push.yml

@@ -16,12 +16,12 @@ jobs:
         with:
           source_repo: "nest/nest-docker"
           source_branch: "master"
-          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_PUSH_TOKEN }}@gitlab.ebrains.eu/nest/nest-docker"
+          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_PUSH_TOKEN }}@gitlab.ebrains.eu/nest/nest-docker.git"
           destination_branch: "master"
       - name: synctags
         uses: wei/git-sync@v3
         with:
           source_repo: "nest/nest-docker/"
           source_branch: "refs/tags/*"
-          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_PUSH_TOKEN }}@gitlab.ebrains.eu/nest/nest-docker"
+          destination_repo: "https://ghpusher:${{ secrets.EBRAINS_PUSH_TOKEN }}@gitlab.ebrains.eu/nest/nest-docker.git"
           destination_branch: "refs/tags/*"