Deployed 88a4a82 to prerelease with MkDocs 1.5.3 and mike 2.0.0

jj-vcs · Apr 3, 2024 · 0d3e814 · 0d3e814
1 parent 1bc00a0
commit 0d3e814
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/prerelease/contributing/index.html b/prerelease/contributing/index.html
@@ -1693,7 +1693,7 @@ <h2 id="setting-up-a-development-environment">Setting up a development environme
 recommended steps.</p>
 <p>You will probably also want to make the <code>gh-pages</code> branch immutable (and thereby
 hidden from the default <code>jj log</code> output) by running the following in your repo:</p>
-<div class="highlight"><pre><span></span><code>jj<span class="w"> </span>config<span class="w"> </span><span class="nb">set</span><span class="w"> </span>--repo<span class="w"> </span><span class="s2">&quot;revset-aliases.immutable_heads()&quot;</span><span class="w"> </span><span class="s2">&quot;main@origin | gh-pages@origin&quot;</span>
+<div class="highlight"><pre><span></span><code>jj<span class="w"> </span>config<span class="w"> </span><span class="nb">set</span><span class="w"> </span>--repo<span class="w"> </span><span class="s2">&quot;revset-aliases.immutable_heads()&quot;</span><span class="w"> </span><span class="s1">&#39;remote_branches(exact:&quot;main&quot;) | remote_branches(exact:&quot;gh-pages&quot;)&#39;</span>
 </code></pre></div>
 <h3 id="summary">Summary<a class="headerlink" href="#summary" title="Permanent link">&para;</a></h3>
 <p>One-time setup:</p>

diff --git a/prerelease/search/search_index.json b/prerelease/search/search_index.json
diff --git a/prerelease/sitemap.xml.gz b/prerelease/sitemap.xml.gz