Prevent future accidental leaks of credential files. Inside ~/workspace/soc-tools, create a .gitignore file containing credentials-backup.txt.
Stage the file (git add .gitignore), commit the change, and push the updated branch back to the remote server using git push origin main.