[woodruffw]

Perhaps just unfortunate timing, but of note: this comes approximately a month after CircleCI reduced their staff by about 17%[1].

[1]: https://circleci.com/blog/ceo-jim-rose-email-to-circleci-emp...

[gurchik]

Not even a month, only 14 days between your linked post (Dec 7) and when secrets might have been leaked ("starting from December 21, 2022 through today, January 4, 2023")