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

Remove unused dev scripts/files #4392

Merged
merged 2 commits into from Aug 16, 2019
Merged

Remove unused dev scripts/files #4392

merged 2 commits into from Aug 16, 2019

Conversation

@phansch
Copy link
Member

@phansch phansch commented Aug 15, 2019

781794d: Remove util/update_lints.py

  • This has been deprecated for ~10 months, so I think it's fine to remove now.

90a4293: Remove publishing things

  • Clippy is no longer published via crates.io, so these docs and the script
    are not needed anymore.

changelog: none

phansch added 2 commits Aug 15, 2019
Clippy is no longer published via crates.io, so these docs and the
script are not needed anymore.
This has been deprecated for ~10 months, so I think it's fine to remove now.
@flip1995
Copy link
Member

@flip1995 flip1995 commented Aug 15, 2019

Thanks!

@bors r+

Loading

@bors
Copy link
Contributor

@bors bors commented Aug 15, 2019

📌 Commit 781794d has been approved by flip1995

Loading

@bors
Copy link
Contributor

@bors bors commented Aug 15, 2019

Testing commit 781794d with merge 7ffdbae...

Loading

bors added a commit that referenced this issue Aug 15, 2019
Remove unused dev scripts/files

781794d: Remove util/update_lints.py

 * This has been deprecated for ~10 months, so I think it's fine to remove now.

90a4293: Remove publishing things

 * Clippy is no longer published via crates.io, so these docs and the script
   are not needed anymore.

changelog: none
@bors
Copy link
Contributor

@bors bors commented Aug 15, 2019

💔 Test failed - checks-travis

Loading

@flip1995
Copy link
Member

@flip1995 flip1995 commented Aug 15, 2019

We need another rustup...

Loading

@phansch
Copy link
Member Author

@phansch phansch commented Aug 16, 2019

@bors retry

Loading

@bors
Copy link
Contributor

@bors bors commented Aug 16, 2019

Testing commit 781794d with merge b83dece...

Loading

bors added a commit that referenced this issue Aug 16, 2019
Remove unused dev scripts/files

781794d: Remove util/update_lints.py

 * This has been deprecated for ~10 months, so I think it's fine to remove now.

90a4293: Remove publishing things

 * Clippy is no longer published via crates.io, so these docs and the script
   are not needed anymore.

changelog: none
@bors
Copy link
Contributor

@bors bors commented Aug 16, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing b83dece to master...

Loading

@bors bors merged commit 781794d into rust-lang:master Aug 16, 2019
2 checks passed
Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants