deploy: 634d80d

Author: 2bndy5

permissions.html

@@ -296,7 +296,7 @@ <h3 id="push-1"><a class="header" href="#push-1">Push</a></h3>
 <li>The <code>contents</code> permission is needed to post or update a commit comment.
 This also allows us to delete an outdated comment if needed.</li>
 </ul>
-<h3 id="pull_request"><a class="header" href="#pull_request">Pull_request</a></h3>
+<h3 id="pull-request-1"><a class="header" href="#pull-request-1">Pull Request</a></h3>
 <p>For <a href="https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request"><code>pull_request</code> events</a>.</p>
 <pre><code class="language-yaml">    permissions:
       pull-requests: write

print.html

@@ -681,7 +681,7 @@ <h3 id="push-1"><a class="header" href="#push-1">Push</a></h3>
 <li>The <code>contents</code> permission is needed to post or update a commit comment.
 This also allows us to delete an outdated comment if needed.</li>
 </ul>
-<h3 id="pull_request"><a class="header" href="#pull_request">Pull_request</a></h3>
+<h3 id="pull-request-1"><a class="header" href="#pull-request-1">Pull Request</a></h3>
 <p>For <a href="https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request"><code>pull_request</code> events</a>.</p>
 <pre><code class="language-yaml">    permissions:
       pull-requests: write