Add '.git' prefix for URI of repositories.

Remove checkout of unused repository.

Author: godunko

.gitlab-ci.yml

@@ -87,30 +87,25 @@ build_and_test:
     - !reference [.detect-branches]
 
     - |
-      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/spawn
+      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/spawn.git
       ACI_SUBPROJECT_NAME=spawn
     - !reference [.checkout-subproject]
 
     - |
-      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/vss
+      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/vss.git
       ACI_SUBPROJECT_NAME=vss
     - !reference [.checkout-subproject]
 
     - |
-      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/markdown
+      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/markdown.git
       ACI_SUBPROJECT_NAME=markdown
     - !reference [.checkout-subproject]
 
     - |
-      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/gnatdoc
+      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/gnatdoc.git
       ACI_SUBPROJECT_NAME=gnatdoc$ACI_REPOSITORY_NAME_EDGE_SUFFIX
     - !reference [.checkout-subproject]
 
-    - |
-      ACI_SUBPROJECT_REPOSITORY_URL_PATH=/eng/ide/gnatstudio-internal
-      ACI_SUBPROJECT_NAME=gnatstudio-internal$ACI_REPOSITORY_NAME_EDGE_SUFFIX
-    - !reference [.checkout-subproject]
-
     - if [[ "$ACI_TARGET_BRANCH" == "edge" ]]; then
         BUILD_SPACE_SUFFIX="_edge";
       fi