howto/gitlab.md

@@ -1235,6 +1235,13 @@ user!) even without going through `gitaly git`.
 
 The `gitaly git` command is [documented upstream here](https://docs.gitlab.com/administration/gitaly/troubleshooting/#use-gitaly-git-when-git-is-required-for-troubleshooting).
 
+## Searching through the repositories
+
+Notwthstanding the above, it's possible to run a simple code search spanning
+all the repositories hosted in Gitaly using a `git grep` command like this:
+
+    sudo -u git find /home/git/repositories/@hashed -type d -name \*.git -exec sh -c "git -C {} grep base-images/python HEAD -- .gitlab-ci.yml 2> /dev/null" \; -print
+
 ## Pager playbook
 
 <!-- information about common errors from the monitoring system and -->