Explore accidental pushed secrets in github

Secret has been deleted with

java -jar bfg.jar --delete-files secret.txt --no-blob-protection accidental-secrets-pushed.git

It is gone from master (good)

It is not gone from these places:

• PR adding secret. Branch was merged and deleted. Still deleted.
• Original commit. Not referenced by any branch but still reachable by link.
• PR added after secret. Branch was originally merged and deleted. Then restored after running bfg.