As a CI company, their ‘customer data’ is source code!
The extent to which CircleCI has gone to eliminate all threats is... scary. They've gotten GitHub to invalidate any GitHub access tokens used by a CircleCI customer. They've gotten AWS to e-mail AWS customers if one of their access keys was stored in CircleCI. It's a complete and total compromise of literally every customer secret in CircleCI. I expect this will be the biggest hack of 2023... and it's still January.
So, yeah, I'm pretty sure customer source code is up for grabs.
> Review GitHub audit log files for unexpected commands such as ... repo.download_zip