diff options
| author | Aleksey Kladov <[email protected]> | 2021-01-06 10:54:28 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-01-06 12:39:28 +0000 |
| commit | f7a15b5cd1df58e46066bbd27c90cb1ad7f9c316 (patch) | |
| tree | df2caa99c4558b9f2550420896ec9998566e1d5d /.github | |
| parent | c3104466596e85d7fa43b8e3ac015bcabd08fcce (diff) | |
More maintainable config
Rather than eagerly converting JSON, we losslessly keep it as is, and
change the shape of user-submitted data at the last moment.
This also allows us to remove a bunch of wrong Defaults
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions