gitgrep is much faster