3 ms·It's a find command that prunes the .git dir. Personally, I prefer git grepby cerved 3y agoIt's a find command that prunes the .git dir. Personally, I prefer git grep