From 6e7fde81fa772997696f838299deb015fff0ed36 Mon Sep 17 00:00:00 2001 From: Sean Bryan Date: Wed, 22 Nov 2023 15:39:07 +1100 Subject: [PATCH] Update docs/user_guide/config_options.md PR: #208 Co-authored-by: Claire Carouge --- docs/user_guide/config_options.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/user_guide/config_options.md b/docs/user_guide/config_options.md index 56662aa4..11d14986 100644 --- 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: