Skip to content

chore: redirect the legacy GitHub Pages URL to extenddb.org - #323

Open
yesyayen wants to merge 1 commit into
ExtendDB:mainfrom
yesyayen:chore/pages-redirect
Open

chore: redirect the legacy GitHub Pages URL to extenddb.org#323
yesyayen wants to merge 1 commit into
ExtendDB:mainfrom
yesyayen:chore/pages-redirect

Conversation

@yesyayen

Copy link
Copy Markdown
Collaborator

What

Adds a root index.html that redirects the legacy GitHub Pages URL (extenddb.github.io/extenddb) to https://extenddb.org/.

Why

https://extenddb.org/ is the only authoritative source for ExtendDB documentation. The legacy Pages site is being deleted and archived; this redirect points any remaining visitors and bookmarks to extenddb.org in the interim. An admin can then disable Pages in the repo settings (Settings -> Pages -> Source: None).

Closes n/a

Testing done

Verified the page locally in a browser: it redirects immediately to https://extenddb.org/. noindex keeps the legacy URL out of search results.

Checklist

  • I have read CONTRIBUTING.md
  • All tests pass (cargo test --workspace) - no Rust changes
  • Code is formatted (cargo fmt --check) - no Rust changes
  • Clippy is clean (cargo clippy -- -W clippy::pedantic) - no Rust changes
  • I have added or updated tests for new functionality - n/a
  • I have updated documentation if behavior changed - n/a
  • Breaking changes are noted below (if any) - none

ADR / RFC: n/a


By submitting this pull request, I confirm that my contribution is made under
the terms of the Apache License 2.0 and I agree to the Developer Certificate of
Origin (DCO). See CONTRIBUTING.md for details.

Signed-off-by: Anandh Somasundaram <yesyayen@gmail.com>
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