Code

Make clippy a subrepo#70650

Code

Closed

oli-obk wants to merge 10 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:subrepo_funnessoli-obk/rust:subrepo_funnessCopy head branch name to clipboard

Commits

Commits on Apr 1, 2020

• Delete the clippy submodule

  oli-obk

  committed
  189051f

  Copy full SHA for 189051f

• git subrepo clone (merge) https://github.com/rust-lang/rust-clippy.git src/tools/clippy

  Show description for d98f323
  oli-obk

  committed
  d98f323

  Copy full SHA for d98f323

• Gate on clippy on CI

  oli-obk

  committed
  5cd8586

  Copy full SHA for 5cd8586

• Explain how to work with subrepos

  oli-obk

  committed
  2b6fd4c

  Copy full SHA for 2b6fd4c

• Remove clippy from .gitmodules

  oli-obk

  committed
  bf24f9b

  Copy full SHA for bf24f9b

• Update CONTRIBUTING.md

  Show description for f8135b0
  

  oli-obk

  and

  RalfJung

  authored
  f8135b0

  Copy full SHA for f8135b0

• Move less frequent documentation to the end.

  oli-obk

  committed
  253519c

  Copy full SHA for 253519c

• Make the difference between `git push` and `git subrepo push` clear

  oli-obk

  committed
  b6a2745

  Copy full SHA for b6a2745

• Documentation nits

  oli-obk

  committed
  3877e33

  Copy full SHA for 3877e33

• Suggest to merge over rebase

  oli-obk

  committed
  9aff67d

  Copy full SHA for 9aff67d