Skip to content

Fixed typo in "go to latest version" tooltip #1094

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

Conversation

robinhundt
Copy link
Contributor

PR #1045 introduced a small typo in the "go to latest version" tooltips
where a space was missing after the crate name.

@maintainers : How do you feel about adding the hacktoberfest topic to the repo so that PR's count towards the event? 😊

PR rust-lang#1045 introduced a small typo in the "go to latest version" tooltips
where a space was missing after the crate name.
@jyn514
Copy link
Member

jyn514 commented Oct 13, 2020

How do you feel about adding the hacktoberfest topic to the repo so that PR's count towards the event? 😊

Sure, seems reasonable. The link is broken though - did you mean to say add a label?

@jyn514 jyn514 merged commit 8f42dff into rust-lang:master Oct 13, 2020
@jyn514 jyn514 added the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Oct 13, 2020
@robinhundt
Copy link
Contributor Author

Oops, I wanted to link to the hacktoberfest page. The rules of the hacktoberfest were changed so that it is opt-in for maintainers. Either the "hacktoberfest" topic is added to a repository or individual PR's are labelled as "hacktoberfest-accepted" https://hacktoberfest.digitalocean.com/hacktoberfest-update 😊

@Nemo157
Copy link
Member

Nemo157 commented Oct 14, 2020

It looks like clippy is using the topic, and quickly checking their PR list they don't seem to be getting spam from it, so seems ok to add (and will help me get closer to completing it too 😁).

@jyn514 jyn514 added the hacktoberfest Issues or PRs good for https://hacktoberfest.digitalocean.com/ label Oct 14, 2020
@jyn514
Copy link
Member

jyn514 commented Oct 14, 2020

Done!

@jyn514 jyn514 removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Dec 25, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hacktoberfest Issues or PRs good for https://hacktoberfest.digitalocean.com/
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants