From: Fabian Keil <fk@fabiankeil.de>
Date: Thu, 28 Jan 2021 10:58:07 +0000 (+0100)
Subject: developer-manual: Add pushing the created tag to the release steps
X-Git-Tag: v_3_0_32~100
X-Git-Url: http://www.privoxy.org/gitweb/%22https:/developer-manual/faq/@default-cgi@/toggle?a=commitdiff_plain;h=7a33a95a133511535d371910b22b43c638ee94a9;p=privoxy.git

developer-manual: Add pushing the created tag to the release steps
---

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index 533a1c76..c41ad0ea 100644
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -2378,6 +2378,12 @@ for-privoxy-version=3.0.11
         Don't use vX_Y_Z, ver_X_Y_Z, v_X.Y.Z (won't work) etc.
        </para>
       </listitem>
+      <listitem>
+       <para>
+        Push the tag to the remote with
+        <quote><command>git push origin v_X_Y_Z</command></quote>.
+       </para>
+      </listitem>
      <listitem>
        <para>
         On the webserver, copy the user manual to a new top-level directory