Remove deletion of build path files

`.github` and `.dockerhub` refer to empty files that would be created during deployment. `.github` is now used as a directory for workflows, so this resolves an issue during deployment where it fails due to attempting to delete that directory as a file.
NTIA · Oct 16, 2023 · 1ea03d4 · 1ea03d4
1 parent efca003
commit 1ea03d4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/scripts/puppet_cleanup.sh b/scripts/puppet_cleanup.sh
@@ -16,8 +16,6 @@ if [ -e .github ]; then
 fi
 
 rm -f .deployed
-rm -f .github
-rm -f .dockerhub
 
 # Empty environment file
 echo "" > /etc/environment