From e02e37cb989c92108ceb1d8bdae8fe3b4bed3c9e Mon Sep 17 00:00:00 2001 From: Mike McLean Date: Wed, 12 May 2021 18:00:40 -0400 Subject: [PATCH] fix code block --- docs/source/configuring_jenkins.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/source/configuring_jenkins.rst b/docs/source/configuring_jenkins.rst index f8f10021..36b36c35 100644 --- a/docs/source/configuring_jenkins.rst +++ b/docs/source/configuring_jenkins.rst @@ -85,6 +85,7 @@ Configuration .. code-block:: shell + # merge PR into main repository if [ -n "$REPO" -a -n "$BRANCH" ]; then git config --global user.email "test@example.com"