Do you actually delete the file from the git repo ...
# atlantis-community
c
Do you actually delete the file from the git repo (with
git rm
vs
rm
)