add the portal repos -- pending releases

GaloisInc · May 19, 2021 · 21ac350 · 21ac350
1 parent 40f6e67
commit 21ac350
Show file tree

Hide file tree

Showing 5 changed files with 16 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -100,3 +100,15 @@
 [submodule "BESSPIN-GFE-2019"]
 	path = BESSPIN-GFE-2019
 	url = https://github.com/GaloisInc/BESSPIN-GFE-2019
+[submodule "BESSPIN-FETT-Portal"]
+	path = BESSPIN-FETT-Portal
+	url = [email protected]:GaloisInc/BESSPIN-FETT-Portal.git
+[submodule "BESSPIN-FETT-AWSHelperService"]
+	path = BESSPIN-FETT-AWSHelperService
+	url = [email protected]:GaloisInc/BESSPIN-FETT-AWSHelperService.git
+[submodule "BESSPIN-FETT-Portal-AWS-Environment"]
+	path = BESSPIN-FETT-Portal-AWS-Environment
+	url = [email protected]:GaloisInc/BESSPIN-FETT-Portal-AWS-Environment.git
+[submodule "BESSPIN-FETT-Admin-Portal"]
+	path = BESSPIN-FETT-Admin-Portal
+	url = [email protected]:GaloisInc/BESSPIN-FETT-Admin-Portal.git
diff --git a/BESSPIN-FETT-AWSHelperService b/BESSPIN-FETT-AWSHelperService
diff --git a/BESSPIN-FETT-Admin-Portal b/BESSPIN-FETT-Admin-Portal
diff --git a/BESSPIN-FETT-Portal b/BESSPIN-FETT-Portal
diff --git a/BESSPIN-FETT-Portal-AWS-Environment b/BESSPIN-FETT-Portal-AWS-Environment