From 456978eefc744b8342e75018024c49d2ace2ed3e Mon Sep 17 00:00:00 2001
From: Abdelilah El Aissaoui <aeab13@gmail.com>
Date: Fri, 3 Nov 2023 19:48:32 +0100
Subject: [PATCH] Removed log as it could be printed a lot in certain scenarios

---
 rs/src/watch_directory.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/rs/src/watch_directory.rs b/rs/src/watch_directory.rs
index 56ccdcd..08c0c1f 100644
--- 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)