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.

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

Redirect /docs/introduction to /docs #562

Closed
1 task done
ifiokjr opened this issue Aug 18, 2020 · 0 comments · Fixed by #563
Closed
1 task done

Redirect /docs/introduction to /docs #562

ifiokjr opened this issue Aug 18, 2020 · 0 comments · Fixed by #563
Assignees
Labels
size: tiny ▪️ A small issue that could be completed in an hour or less based on current information. type: docs 📝 Documentation related changes.
Milestone

Comments

@ifiokjr
Copy link
Member

ifiokjr commented Aug 18, 2020

Description

Currently, the /docs URL leads to a 404 page.

  • Add redirect from /docs/introduction.
@ifiokjr ifiokjr added type: docs 📝 Documentation related changes. size: tiny ▪️ A small issue that could be completed in an hour or less based on current information. labels Aug 18, 2020
@ifiokjr ifiokjr added this to the Playground milestone Aug 18, 2020
@ifiokjr ifiokjr self-assigned this Aug 18, 2020
@ifiokjr ifiokjr added this to Future in Internal Roadmap via automation Aug 18, 2020
@ifiokjr ifiokjr added this to To do in Docs, Playground and Publicity via automation Aug 18, 2020
@ifiokjr ifiokjr changed the title Redirect /docs to /docs/introduction Redirect /docs/introduction to /docs Aug 18, 2020
ifiokjr added a commit that referenced this issue Aug 18, 2020
- Also use `.md` as extension for docs folder.

Fixes #562
@ifiokjr ifiokjr moved this from To do to In progress in Docs, Playground and Publicity Aug 18, 2020
@ifiokjr ifiokjr moved this from Future to Ready in Internal Roadmap Aug 18, 2020
ifiokjr added a commit that referenced this issue Aug 18, 2020
- Also use `.md` as extension for docs folder.

Fixes #562
Internal Roadmap automation moved this from Ready to Released Aug 18, 2020
Docs, Playground and Publicity automation moved this from In progress to Done Aug 18, 2020
ifiokjr added a commit that referenced this issue Aug 18, 2020
- Also use `.md` as extension for docs folder.

Fixes #562
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: tiny ▪️ A small issue that could be completed in an hour or less based on current information. type: docs 📝 Documentation related changes.
Development

Successfully merging a pull request may close this issue.

1 participant