Update docs/user_guide/config_options.md

PR: #208 Co-authored-by: Claire Carouge <[email protected]>
CABLE-LSM · Nov 22, 2023 · bf6d8df · bf6d8df
1 parent 75e010e
commit bf6d8df
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/docs/user_guide/config_options.md b/docs/user_guide/config_options.md
@@ -246,9 +246,11 @@ realisations:
         revision: 1234
 ```
 
-[`git`](#+repo.git){ #+repo.git}
+#### [`git`](#+repo.git){ #+repo.git}
 
-: **Default:** _optional key_. :octicons-dash-24: Specify a branch on the GitHub repository. By default, the [CABLE GitHub repository][cable-github] will be cloned (see [`url`](#+repo.git.url) to use a separate GitHub repository).
+Contains settings to specify a branch on the GitHub repository. By default, the [CABLE GitHub repository][cable-github] will be cloned (see [`url`](#+repo.git.url) to specify another GitHub repository).
+
+This key is _optional_. No default.
 
 ```yaml
 realisations: