Closed larsoner closed 1 year ago
Okay it finally works after some cycles needed to properly DRY our CircleCI config a bit:
Just pushed a [ci skip]
commit to fix the redirector, too, but we won't be able to see that work until it lands in main
.
@hoechenberger feel free to review and merge if you're happy
Thanks @larsoner!
Before merging …
docs/source/changes.md
)Add some ignores to
mkdocs
usingmkdocs-exclude
plugin to avoid some of the cruft visible here: