You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -321,7 +321,7 @@ <h2 id="cutting-the-release">Cutting the release</h2>
321
321
<li>In the upper right, click “log in” (unless you’re already logged in). This
322
322
will use your GitHub credentials.</li>
323
323
<li>Click “Build with Parameters”.</li>
324
-
<li>Change “sha1” (not “ci_sha1”) to the full <strong>git sha</strong> corresponding to
324
+
<li>Change “sha1” (not “ci_sha1”) to the full <strong>git sha</strong> corresponding to
325
325
<codeclass="language-plaintext highlighter-rouge">v1.N.0</code> and “release_version” to <codeclass="language-plaintext highlighter-rouge">1.N.0</code> (no “v”).
326
326
<ul>
327
327
<li>If you mistakenly provide the “v” in “release_version”, your build will
<li>Open the tutorials <ahref="https://deepnote.com/workspace/Drake-0b3b2c53-a7ad-441b-80f8-bf8350752305/project/Tutorials-2b4fc509-aef2-417d-a40d-6071dfed9199/Dockerfile">Dockerfile</a>:
463
463
<ol>
464
-
<li>Edit the first line to refer to the YYYYMMDD for this release (login
464
+
<li>Edit the first line to refer to the YYYYMMDD for this release (login
465
465
with your github account; otherwise, the file is read-only).
0 commit comments