Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(mkdocs): add plugin redirects and first post redirection #14

Merged
merged 2 commits into from
Nov 25, 2024
Merged

feat(mkdocs): add plugin redirects and first post redirection #14

merged 2 commits into from
Nov 25, 2024

Conversation

Guts
Copy link
Member

@Guts Guts commented Nov 25, 2024

No description provided.

@github-actions github-actions bot added enhancement New feature or request dependencies Pull requests that update a dependency file mkdocs labels Nov 25, 2024
@github-actions GitHub Actions
Copy link

🎉 The preview site for this PR has been generated and is available here.
Reference commit : 9037da0.

@Guts Guts merged commit 0875e01 into main Nov 25, 2024
4 checks passed
@Guts Guts deleted the feature/add-redirection-to-handle-moved-pages branch November 25, 2024 12:10
@github-actions github-actions bot temporarily deployed to pr-previews November 25, 2024 12:10 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file enhancement New feature or request mkdocs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Guts