Deployed c2a6f41 to dev with MkDocs 1.5.3 and mike 1.1.2

githedgehog · Nov 22, 2023 · 1084a4d · 1084a4d · github-actions · Nov 22, 2023
1 parent 0ae26c1
commit 1084a4d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/dev/contribute/docs/index.html b/dev/contribute/docs/index.html
@@ -1135,6 +1135,7 @@ <h2 id="getting-started">Getting started</h2>
 <h2 id="workflow">Workflow</h2>
 <p>If you want to quick edit any page in the documentation, you can press the <code>Edit this page</code> icon at the top right of the page. It'll open the page in the GitHub editor. You can edit it and create a pull request with your changes.</p>
 <p>Please, never push to the <code>master</code> or <code>release/*</code> branches directly. Always create a pull request and wait for the review.</p>
+<p>Each pull request will be automatically built and preview will be deployed. You can find the link to the preview in the comments in pull request.</p>
 <h2 id="repository">Repository</h2>
 <p>Documentation is organized in per-release branches:</p>
 <ul>