Update docs config for new theme - [merged]

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:28

Merges update-docs-theme -> main

Fixes #141 Fixes #138

[nabobalis]

RIP

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:29

resolved all threads

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:29

enabled an automatic merge when the pipeline for db504f24e9d8852287afe430767b966c7f3ab7a4 succeeds

[nabobalis]

approved this merge request

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:30

canceled the automatic merge

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:30

enabled an automatic merge when the pipeline for db504f24e9d8852287afe430767b966c7f3ab7a4 succeeds

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:31

I couldn't remember if I used the backport label to label things that needed a backport or to label backport PRs :laughing:

[nabobalis]

It wont matter for much longer.

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:35

mentioned in commit a9acf79c8d20aed154a8596258f1ff4853e64279

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:36

picked the changes into the branch cherry-pick-a9acf79c with commit 2f2010e2b8593883f53e915cbf68ae163c652a11

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:36

mentioned in commit 2f2010e2b8593883f53e915cbf68ae163c652a11

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:44

mentioned in commit 84700d65aa29baed5bc1f56000b4792afe24c62a

[nabobalis]

In GitLab by @wtbarnes on Oct 31, 2023, 13:44

mentioned in commit 138cdbaef30c54adf972df76eb16ecd0dc357c6a