@devops_discussions
@platform_engineering
@githubprojects

Quick experiment:

Run this on any repo your team has worked on for 6+ months:

git log --all --diff-filter=D -p -- '*.env' '*.key' '*.pem'

Those are DELETED files that still exist in git history.

"We deleted the credentials" is not the same as "The credentials are gone."