diff options
author | Franck Cuny <franck@fcuny.net> | 2022-10-10 19:45:24 -0700 |
---|---|---|
committer | Franck Cuny <franck@fcuny.net> | 2022-10-10 19:45:24 -0700 |
commit | e418dfe070e881233bfd2a7ec2a5984def961a83 (patch) | |
tree | 62bdc834c0c49494db037ca3f3e1a39bc11225bc /home/ssh | |
parent | feat(ops/github): set the name of the default branch (diff) | |
download | world-e418dfe070e881233bfd2a7ec2a5984def961a83.tar.gz |
ci: update the flake once a week
This is going to fail anyway since it will try to update a flake from a private repository and it won't work. But once I make the repository public it will start working. Also remove the token, want the PR to be open as the github-actions bot.
Diffstat (limited to 'home/ssh')
0 files changed, 0 insertions, 0 deletions