Skip to content

Docs redirect#50

Merged
bmos merged 13 commits intomainfrom
docs-redirect
Mar 15, 2026
Merged

Docs redirect#50
bmos merged 13 commits intomainfrom
docs-redirect

Conversation

@bmos
Copy link
Owner

@bmos bmos commented Mar 15, 2026

What is this change?

  • (List out the changes.)
  • (Link to any relevant Github issues or Slack discussion.)

Breaking changes (if needed)

  • (List out any changes to the API that may cause breaks for developer implementation.)

Considerations for discussion

  • (List out any significant design decisions that were made and why.)

How to test the changes (if needed)

  • (How should a reviewer test this functionality.)

@bmos bmos merged commit d5e6fef into main Mar 15, 2026
61 checks passed
@github-actions
Copy link

Coverage report

This PR does not seem to contain any modification to coverable code.

bmos added a commit that referenced this pull request Mar 15, 2026
* add smart 404 page with redirect

* don't index 404 page

* fancy 404 page with parsons styling

* cleanup styling

* fix index.html

* add better logo alt text

* copy 404 page to output directory

* add html_favicon to conf.py

* show 404 page for nonexistent pages without /html in path

* use parsons logo from main

* don't check url validity if we're already at the targeturl (show 404)

* fix 404 page home button
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant