add faq.html#pull_request name for FAQ 6.10

faq.html

@@ -2752,7 +2752,7 @@ Moreover, out of habit, the IOCCC judges sometimes use old names such as
 <em>entry</em> when they should use <em>submission</em>. Sorry (tm
 Canada)! :-)</p>
 <h3
-id="faq-6.10-how-does-someone-make-a-change-to-a-file-and-submit-that-change-as-a-github-pull-request"><a name="faq6_10"></a>FAQ
+id="faq-6.10-how-does-someone-make-a-change-to-a-file-and-submit-that-change-as-a-github-pull-request"><a name="faq6_10"></a><a name="pull_request"></a>FAQ
 6.10: How does someone make a change to a file and submit that change as
 a GitHub pull request?</h3>
 <p>First, if you do not already have a GitHub account or you have not