git-grep: add new example (#3203)

2019-07-22 13:59:16 +02:00 · 2019-07-22 13:59:16 +02:00 · 41d82606b5
parent 8465f20ccb
commit 41d82606b5
1 changed files with 4 additions and 0 deletions
--- 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)`