diff --git a/.gitmodules b/.gitmodules index 29a58dd..97e578c 100644 --- 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 = git@github.com:GaloisInc/BESSPIN-FETT-Portal.git +[submodule "BESSPIN-FETT-AWSHelperService"] + path = BESSPIN-FETT-AWSHelperService + url = git@github.com:GaloisInc/BESSPIN-FETT-AWSHelperService.git +[submodule "BESSPIN-FETT-Portal-AWS-Environment"] + path = BESSPIN-FETT-Portal-AWS-Environment + url = git@github.com:GaloisInc/BESSPIN-FETT-Portal-AWS-Environment.git +[submodule "BESSPIN-FETT-Admin-Portal"] + path = BESSPIN-FETT-Admin-Portal + url = git@github.com:GaloisInc/BESSPIN-FETT-Admin-Portal.git diff --git a/BESSPIN-FETT-AWSHelperService b/BESSPIN-FETT-AWSHelperService new file mode 160000 index 0000000..34d17e8 --- /dev/null +++ b/BESSPIN-FETT-AWSHelperService @@ -0,0 +1 @@ +Subproject commit 34d17e8ab1d70172df809db666ac7d2f7e15799e diff --git a/BESSPIN-FETT-Admin-Portal b/BESSPIN-FETT-Admin-Portal new file mode 160000 index 0000000..02dfeab --- /dev/null +++ b/BESSPIN-FETT-Admin-Portal @@ -0,0 +1 @@ +Subproject commit 02dfeab78bb06e29def8d955b8fe1829b479e3a1 diff --git a/BESSPIN-FETT-Portal b/BESSPIN-FETT-Portal new file mode 160000 index 0000000..71a9a3b --- /dev/null +++ b/BESSPIN-FETT-Portal @@ -0,0 +1 @@ +Subproject commit 71a9a3bb3b041ceb476102179bce0fee18ad389f diff --git a/BESSPIN-FETT-Portal-AWS-Environment b/BESSPIN-FETT-Portal-AWS-Environment new file mode 160000 index 0000000..e64e3c9 --- /dev/null +++ b/BESSPIN-FETT-Portal-AWS-Environment @@ -0,0 +1 @@ +Subproject commit e64e3c9244278406a105869be0ba02f9884ee988