GaloisInc / BESSPIN-FETT-Portal

The web-based portal used by FETT Researchers to manage Target instances.
Apache License 2.0
0 stars 0 forks source link

Portal SSH keys do not have access to SSITH gitlab-ext #470

Open rtadros125 opened 3 years ago

rtadros125 commented 3 years ago

Since the production AMIs have the entirety of nix-shell populated, this should never cause an issue on production. However, the staging environment might (and will) get hit by this. If we update nix-shell with smth that rebuilds something from SSITH gitlab-ext repos, it will give an error because the SSH key used by portal does not have access to the gitlab repos.