diff options
| author | Michael Davis | 2022-04-20 01:43:09 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-20 01:43:09 +0000 |
| commit | c8cfd0b1a0da071618a9efc71ac5735d6147a0ca (patch) | |
| tree | 27c798673e01ce502aa7bac66255cf47765b7614 /.github/workflows | |
| parent | 3a7bf1c40cba7f4763df38e347587b5c3003d080 (diff) | |
override nested arrays when merging TOML (#2145)
We merge the elements of arrays for the top-level array. For
`languages.toml`, this is the array of languages. For any nested
arrays, we simply take the `right` array as-is instead of using
the union of `left` and `right`.
closes #1000
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions