Skip to content

docs: fix anchor and repo links #16555

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

Merged
merged 4 commits into from
Mar 2, 2025
Merged

Conversation

guspan-tanadi
Copy link
Contributor

No description provided.

Copy link

github-actions bot commented Feb 13, 2025

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@cdr-bot cdr-bot bot added the community Pull Requests and issues created by the community. label Feb 13, 2025
Copy link
Member

@matifali matifali left a comment

Choose a reason for hiding this comment

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

Thanks a lot.

Copy link
Contributor

@EdwardAngert EdwardAngert left a comment

Choose a reason for hiding this comment

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

thanks @guspan-tanadi !

@EdwardAngert EdwardAngert changed the title docs(web-ides): intended repo links docs: fix anchor and repo links Feb 13, 2025
@matifali
Copy link
Member

Hi @guspan-tanadi, can you please sign the CLA? Thanks.

@github-actions github-actions bot added the stale This issue is like stale bread. label Feb 25, 2025
@github-actions github-actions bot closed this Mar 1, 2025
@guspan-tanadi
Copy link
Contributor Author

I have read the CLA Document and I hereby sign the CLA

cdrci2 added a commit to coder/cla that referenced this pull request Mar 1, 2025
@EdwardAngert EdwardAngert reopened this Mar 2, 2025
@EdwardAngert EdwardAngert merged commit fc2815c into coder:main Mar 2, 2025
57 of 60 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 2, 2025
@matifali matifali removed the stale This issue is like stale bread. label Mar 3, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
community Pull Requests and issues created by the community.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants