Heads-up if you're using CircleCI: it got popped, and your stored credentials are compromised.
https://circleci.com/blog/january-4-2023-security-alert/