Removed log as it could be printed a lot in certain scenarios

2023-11-03 19:48:32 +01:00 · 2023-11-03 19:48:32 +01:00 · 456978eefc
commit 456978eefc
parent 1638c8f4b2
1 changed files with 0 additions and 1 deletions
--- a/rs/src/watch_directory.rs
+++ b/rs/src/watch_directory.rs
@ -118,7 +118,6 @@ pub fn get_paths_from_event_result(event_result: &Result<Event, Error>, git_dir_
                        // JGit may create .probe-UUID files for its internal stuff, we don't care about it
                        let probe_prefix = format!("{git_dir_path}.probe-");
                        if path_str.starts_with(probe_prefix.as_str()) {
-                            println!("Ignoring .probe file");
                            None
                        } else {
                            Some(path_str)