Skip to content

Commit

Permalink
Specify the last Clippy->Rust sync commit
Browse files Browse the repository at this point in the history
  • Loading branch information
flip1995 committed May 2, 2024
1 parent 07ec4f0 commit 21d1c0c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion clippy_dev/src/sync.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ use xshell::{cmd, Shell};

use crate::{clippy_project_root, update_lints};

const JOSH_FILTER: &str = ":rev(TODO:prefix=src/tools/clippy):/src/tools/clippy";
const JOSH_FILTER: &str = ":rev(20b085d500dfba5afe0869707bf357af3afe20be:prefix=src/tools/clippy):/src/tools/clippy";
const JOSH_PORT: &str = "42042";

fn start_josh() -> impl Drop {
Expand Down

0 comments on commit 21d1c0c

Please sign in to comment.