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

chore(docs): fix broken links #13056

Merged
merged 2 commits into from
Apr 24, 2024
Merged

chore(docs): fix broken links #13056

merged 2 commits into from
Apr 24, 2024

Conversation

doodzik
Copy link
Contributor

@doodzik doodzik commented Apr 23, 2024

Georgian team again.

When going through the documentation, I encountered a couple of broken links. It is frustrating for users to get 404s. I fixed the list of broken links from the weekly-docs ci step.

I also noticed that the ci step has been failing for several weeks. To ensure that broken links are fixed faster, I changed the check to run every time the documentation is changed.

@cdr-bot cdr-bot bot added the community Pull Requests created by the community. label Apr 23, 2024
Copy link
Member

@kylecarbs kylecarbs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oofta, thank you!

@doodzik
Copy link
Contributor Author

doodzik commented Apr 23, 2024

fmt doesn't seem to like me 😄 I'll fix the issue

@matifali matifali merged commit 5780050 into coder:main Apr 24, 2024
23 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Apr 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
community Pull Requests created by the community.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants