| 14 May 2026 |
 emily | we should probably roll back for now until the uses can be fixed | 13:32:15 |
| emily | the channel scripts should be using a GitHub app like CI/rfc39/etc. do, most likely | 13:33:40 |
| emily | IIRC it looked to me like the channel scripts used an SSH key for the Git push btw, what is the token in question used for? | 13:53:32 |
 Vladimír Čunát | Well, I did not know this stuff. Just tried to diagnose the issue quickly. | 14:22:55 |
| Vladimír Čunát | Which pointed me to
GIT_DIR=$dir git config credential.helper 'store --file=${config.age.secrets.hydra-mirror-git-credentials.path}'
| 14:37:47 |
