aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'doc/config.rst')
-rw-r--r--doc/config.rst7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/config.rst b/doc/config.rst
index d9237bed..46b5b092 100644
--- a/doc/config.rst
+++ b/doc/config.rst
@@ -55,3 +55,10 @@ Use the JSON reporter by default for scanning output and disable all cache usage
[DEFAULT]
reporter = JsonReporter
cache = no
+
+Example 6
+---------
+Set the default repo to target when scanning::
+
+ [DEFAULT]
+ repo = my_overlay