diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml
index 09e115b410..04207acada 100644
--- a/documentation/ref-manual/ref-variables.xml
+++ b/documentation/ref-manual/ref-variables.xml
@@ -1043,6 +1043,37 @@
             </glossdef>
         </glossentry>
 
+        <glossentry id='var-BUILDHISTORY_PUSH_REPO'><glossterm>BUILDHISTORY_PUSH_REPO</glossterm>
+            <glossdef>
+                <para>
+                    When inheriting the
+                    <link linkend='ref-classes-buildhistory'><filename>buildhistory</filename></link>
+                    class, optionally specifies a remote repository
+                    to which build history pushes Git changes.
+                    In order for <filename>BUILDHISTORY_PUSH_REPO</filename>
+                    to work,
+                    <link linkend='var-BUILDHISTORY_COMMIT'><filename>BUILDHISTORY_COMMIT</filename></link>
+                    must be set to "1".
+                </para>
+
+                <para>
+                    The repository should correspond to a remote
+                    address that specifies a repository as understood by
+                    Git, or alternatively to a remote name that you have
+                    set up manually using <filename>git remote</filename>
+                    within the local repository.
+                </para>
+
+                <para>
+                    By default, the <filename>buildhistory</filename> class
+                    sets the variable as follows:
+                    <literallayout class='monospaced'>
+     BUILDHISTORY_PUSH_REPO ?= ""
+                    </literallayout>
+                </para>
+            </glossdef>
+        </glossentry>
+
         <glossentry id='var-BUILDSTATS_BASE'><glossterm>BUILDSTATS_BASE</glossterm>
             <glossdef>
                 <para>