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