Github secrets are encrypted, right? I didn't think there was any way to access ...

SahAssar on Jan 15, 2023 | parent | context | favorite | on: CircleCI says hackers stole encryption keys and cu...

Github secrets are encrypted, right? I didn't think there was any way to access them without running a github actions job that deliberately uploads them somewhere else (or echos them into the log with rot13/base64 or something else).