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 /tools | |
| 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 'tools')
0 files changed, 0 insertions, 0 deletions