Deploying to gh-pages from @ cb0f603 🚀

NixOS · Nov 12, 2024 · 168f35d · 168f35d
1 parent f158857
commit 168f35d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Final-Release.html b/Final-Release.html
@@ -286,7 +286,7 @@ <h3 id="on-the-release-branch"><a class="header" href="#on-the-release-branch">O
 <li>
 <p>Find the commit id and tag the release <strong>on the release branch</strong>:</p>
 <pre><code class="language-bash">git tag --annotate --message=&quot;Release $NEWVER&quot; &quot;branch-off-$NEWVER&quot; &lt;COMMIT_ID&gt;
-git push upstream $NEWVER
+git push upstream &quot;branch-off-$NEWVER&quot;
 </code></pre>
 </li>
 <li>

diff --git a/print.html b/print.html
@@ -757,7 +757,7 @@ <h3 id="on-the-release-branch-1"><a class="header" href="#on-the-release-branch-
 <li>
 <p>Find the commit id and tag the release <strong>on the release branch</strong>:</p>
 <pre><code class="language-bash">git tag --annotate --message=&quot;Release $NEWVER&quot; &quot;branch-off-$NEWVER&quot; &lt;COMMIT_ID&gt;
-git push upstream $NEWVER
+git push upstream &quot;branch-off-$NEWVER&quot;
 </code></pre>
 </li>
 <li>

diff --git a/searchindex.js b/searchindex.js
diff --git a/searchindex.json b/searchindex.json