developer-manual: Add pushing the created tag to the release steps
authorFabian Keil <fk@fabiankeil.de>
Thu, 28 Jan 2021 10:58:07 +0000 (11:58 +0100)
committerFabian Keil <fk@fabiankeil.de>
Wed, 3 Feb 2021 10:56:50 +0000 (11:56 +0100)
doc/source/developer-manual.sgml

index 533a1c7..c41ad0e 100644 (file)
@@ -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