Skip to content

Make clippy a git subtree instead of a git submodule - #70655

Merged
bors merged 8408 commits into
rust-lang:masterfrom
oli-obk:subrepo_funness
May 2, 2020
Merged

Make clippy a git subtree instead of a git submodule#70655
bors merged 8408 commits into
rust-lang:masterfrom
oli-obk:subrepo_funness

Conversation

@oli-obk

@oli-obkoli-obk commented Apr 1, 2020

Copy link
Copy Markdown
Contributor

r? @eddyb

cc #70651

documentation at #70654

Loading
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.T-dev-toolsRelevant to the dev-tools subteam, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

20 participants

@oli-obk@eddyb@Mark-Simulacrum@flip1995@bors@Dylan-DPC-zz@spastorino@rust-highfive@Manishearth@mati865@matthiaskrgr@petrochenkov@crlf0710@dtolnay@rabisg0@briankabiro@marcin-serwin@ThibsG@phansch@Emerentius