Skip to content

Remove dead link in CONTRIBUTING.md #3532

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 1 commit into from
Dec 11, 2018

Conversation

maxencefrenette
Copy link
Contributor

I don't think there was an issue for this, but this is just removing a dead link in CONTRIBUTING.md. The Linting Clippy with your local changes section seems to have been removed without updating the table of contents.

I'm not sure if I should have opened an issue, but it seemed like a trivial fix to me.

@oli-obk
Copy link
Contributor

oli-obk commented Dec 11, 2018

@bors r+ rollup (lol what does "rollup" do on this repo?)

@bors
Copy link
Contributor

bors commented Dec 11, 2018

📌 Commit 804729c has been approved by oli-obk

bors added a commit that referenced this pull request Dec 11, 2018
Remove dead link in CONTRIBUTING.md

I don't think there was an issue for this, but this is just removing a dead link in CONTRIBUTING.md. The _Linting Clippy with your local changes_ section seems to have been removed without updating the table of contents.

I'm not sure if I should have opened an issue, but it seemed like a trivial fix to me.
@bors
Copy link
Contributor

bors commented Dec 11, 2018

⌛ Testing commit 804729c with merge 82e6dbb...

@oli-obk
Copy link
Contributor

oli-obk commented Dec 11, 2018

I'm not sure if I should have opened an issue, but it seemed like a trivial fix to me.

Thanks! PRs are awesome!

@bors
Copy link
Contributor

bors commented Dec 11, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: oli-obk
Pushing 82e6dbb to master...

@bors bors merged commit 804729c into rust-lang:master Dec 11, 2018
@maxencefrenette
Copy link
Contributor Author

Hurray, this was my first contribution to rust in general. Onto the next one !

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.

3 participants