diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-10-09 13:46:18 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-10-09 13:46:18 -0700 |
| commit | 49eefb689159af350b2927e1b5e24e5a80df8eea (patch) | |
| tree | 8e1ae08cf4965f1448ef31b90bd0e3e5dcfcb0bb /tools/schedlatency | |
| parent | ref(ops/github): simplify the configuration (diff) | |
| download | world-49eefb689159af350b2927e1b5e24e5a80df8eea.tar.gz | |
feat(ops/github): set the name of the default branch
From now on we should always be using 'main'. If a project requires 'master', it will need to be set explicitly.
Diffstat (limited to 'tools/schedlatency')
0 files changed, 0 insertions, 0 deletions