[orev]

If the secrets are on GitHub, private repo or not, they’re already leaked. Secrets should never be stored on any external service.