Link to definition of substantive

per w3c/ash-nazg#253

repo-management.html

@@ -92,7 +92,7 @@ <h3>How Pull Requests Get Handled</h3>
       it gets changed to some ugly brown with a red cross (and a link that people can use to check
       the issue in more detail).
     </p>
-    <p>On the page that explains the IPR failure, one can mark a given Pull Request as non-substantive: this will post a comment on the pull request under the name of the user, and will clear the flag for the said pull request.</p>
+    <p>On the page that explains the IPR failure, one can mark a given Pull Request as non-<a href="https://www.w3.org/Consortium/Process/#substantive-change">substantive</a>: this will post a comment on the pull request under the name of the user, and will clear the flag for the said pull request.</p>
 
     <p>When a pull request gets flagged as not OK by the tool, it will attempt to notify the github users listed in the <a href="w3c.json.html#contacts"><code>contacts</code></a> property of the <code>w3c.json</code> file in the repo.</p>
 
@@ -115,7 +115,7 @@ <h3>Currently Open Pull Requests</h3>
     <h3>PR Details</h3>
     <p>
       If the PR is not in an acceptable state, this will list problematic users with possible options to fix
-      each of them, and a button to "Mark the PR as non-substantive".</p>
+      each of them, and a button to "Mark the PR as non-<a href="https://www.w3.org/Consortium/Process/#substantive-change">substantive</a>".</p>
     <p>
       The vast majority of non-acceptable PRs for a newly added repo will come from people whose W3C profile is not known (and thus neither are their affiliation and associated IPR commitments).
     </p>