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

Switch to even more intra-doc links #1084

Merged
merged 5 commits into from
Nov 19, 2020

Conversation

jyn514
Copy link
Contributor

@jyn514 jyn514 commented Nov 3, 2020

Motivation

#940

Solution

This converts some more links found while trying to debug the link failures in #1078. Unfortunately it didn't fix the failures, but it's a useful change so I split it out into a separate PR.

@jyn514 jyn514 requested review from hawkw and a team as code owners November 3, 2020 04:53
@jyn514
Copy link
Contributor Author

jyn514 commented Nov 3, 2020

(If you want this to land as part of #1078 instead, that's fine too.)

@jyn514 jyn514 requested a review from yaahc as a code owner November 14, 2020 16:00
- Convert doc.rust-lang.org links
- Convert relative links
- Convert `[a](b.html)` links
@jyn514
Copy link
Contributor Author

jyn514 commented Nov 14, 2020

I think this is as ready for review as it will ever be, #1078 has a lot of broken links due to rustdoc bugs so I wouldn't wait on that.

Copy link
Member

@davidbarsky davidbarsky left a comment

Choose a reason for hiding this comment

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

This LGTM! Thanks for making these changes.

@jyn514
Copy link
Contributor Author

jyn514 commented Nov 15, 2020

Hmm, I'm not sure why CI is failing - it says the windows job was cancelled? I can't find any relevant logs.

@davidbarsky
Copy link
Member

Yup, I canceled the Windows job by accident. Lemme restart it.

@jyn514
Copy link
Contributor Author

jyn514 commented Nov 19, 2020

I think this is ready to merge :)

@davidbarsky davidbarsky merged commit 9e07ff8 into tokio-rs:master Nov 19, 2020
@davidbarsky
Copy link
Member

Done, thanks!

@jyn514 jyn514 deleted the even-more-links branch November 19, 2020 16:12
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