From 41d82606b5791ec1c67bb770dca61693ffd7420d Mon Sep 17 00:00:00 2001 From: Ivan Aracki Date: Mon, 22 Jul 2019 13:59:16 +0200 Subject: [PATCH] git-grep: add new example (#3203) --- pages/common/git-grep.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/common/git-grep.md b/pages/common/git-grep.md index ea99a7ec0c..9db6487d1a 100644 --- a/pages/common/git-grep.md +++ b/pages/common/git-grep.md @@ -19,3 +19,7 @@ - Search for a string at a specific point in history: `git grep {{search_string}} {{HEAD~2}}` + +- Search for a string across all branches: + +`git grep {{search_string}} $(git rev-list --all)`