Always good to see something you've worked on in an OpenAI misalignment report... lol https://alignment.openai.com/misalignment-reports/exposing-a-github-token-in-a-public-repository/ https://github.com/leanprover/lean-eval/pull/137