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

docs: fix the markdown link #1720

Closed
wants to merge 1 commit into from
Closed

docs: fix the markdown link #1720

wants to merge 1 commit into from

Conversation

haraldh
Copy link
Collaborator

@haraldh haraldh commented Apr 18, 2024

What ❔

fix a markdown link in documentation

Why ❔

to make the linkchecker happy and nicely display the link

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.
  • Spellcheck has been run via zk spellcheck.
  • Linkcheck has been run via zk linkcheck.

to make the linkchecker happy

Signed-off-by: Harald Hoyer <harald@matterlabs.dev>
@haraldh
Copy link
Collaborator Author

haraldh commented Apr 18, 2024

How did the incorrect link get in the first place?

@haraldh
Copy link
Collaborator Author

haraldh commented Apr 19, 2024

seems like this is fixed in #1736

@haraldh haraldh closed this Apr 19, 2024
@haraldh haraldh mentioned this pull request Apr 19, 2024
6 tasks
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.

2 participants