git-subtree-dir: src/tools/clippy git-subtree-mainline: 06c44816c1 git-subtree-split: d2708873ef
06c44816c1
d2708873ef