On Sun, 27 Jun 2021 20:32:11 -0400 Richard wrote:
> Meanwhile, I see that the items for Github and Gitlab still refer to
> those names instead of github.com and gitlab.com.

a new patch is attached, which completes this transition

the changes related to domain name IDs, were extracted from the
github and gitlab patches into this discrete patch, so that it
could be applied now
Index: software/repo-criteria-evaluation.html
===================================================================
RCS file: /web/www/www/software/repo-criteria-evaluation.html,v
retrieving revision 1.15
diff -u -r1.15 repo-criteria-evaluation.html
--- software/repo-criteria-evaluation.html	24 Jun 2021 23:55:41 -0000	1.15
+++ software/repo-criteria-evaluation.html	30 Jun 2021 01:20:16 -0000
@@ -33,13 +33,13 @@
       <td>1.1</td>
     </tr>
     <tr class="even">
-      <td><a href="#GitLab">GitLab</a></td>
+      <td><a href="#gitlab-com">gitlab.com</a></td>
       <td><a href="/software/repo-criteria.html#C">C</a></td>
       <td>2015-11-05</td>
       <td>1.1</td>
     </tr>
     <tr class="odd">
-      <td><a href="#GitHub">GitHub</a></td>
+      <td><a href="#github-com">github.com</a></td>
       <td><a href="/software/repo-criteria.html#F">F</a></td>
       <td>2016-04-13</td>
       <td>1.1</td>
@@ -86,38 +86,38 @@
 </ul>
 
 
-<h3 id="GitLab">GitLab — C</h3>
+<h3 id="gitlab-com">gitlab.com — C</h3>
 
-<p>Things that prevent <a href="https://about.gitlab.com/";>GitLab</a> from
+<p>Things that prevent <a href="https://about.gitlab.com/";>gitlab.com</a> from
 moving up to the next grade, <a
 href="/software/repo-criteria.html#B">B</a>:</p>
 
 <ul>
-  <li id="GitLab-B0">All JavaScript code served to the client is free, but
+  <li id="gitlab-com-B0">All JavaScript code served to the client is free, but
     does not work with LibreJS enabled.
     (<a href="/software/repo-criteria.html#B0">B0</a>)</li>
 
-  <li id="GitLab-B2">Encourages bad licensing practice, including no
+  <li id="gitlab-com-B2">Encourages bad licensing practice, including no
    license; failure to state the license on each source file; and failure to
    say which GPL versions apply.
    (<a href="/software/repo-criteria.html#B2">B2</a>)</li>
 </ul>
 
 
-<h3 id="GitHub">GitHub — F</h3>
+<h3 id="github-com">github.com — F</h3>
 
-<p>Things that prevent <a href="http://github.com/";>GitHub</a> from
+<p>Things that prevent <a href="http://github.com/";>github.com</a> from
 moving up to the next grade, <a
 href="/software/repo-criteria.html#C">C</a>:</p>
 
 <ul>
-  <li id="GitHub-C0">
+  <li id="github-com-C0">
     Important site functionality does not work without running nonfree
     JavaScript.
     (<a href="/software/repo-criteria.html#C0">C0</a>)
   </li>
 
-  <li id="GitHub-C2">Specific information may not be available in all countries;
+  <li id="github-com-C2">Specific information may not be available in all countries;
     see <a href="https://github.com/github/roskomnadzor";>roskomnadzor</a>
     and <a href="https://help.github.com/articles/github-and-export-controls/";>
     export controls</a> for more details.
@@ -125,14 +125,14 @@
   </li>
 </ul>
 
-<p>The worst thing that GitHub does is to encourage bad licensing
+<p>The worst thing that github.com does is to encourage bad licensing
 practice: failure to include a license, failure to state the
 license on each source file, and failure to specify &ldquo;version 3
 or later&rdquo; when using the GNU GPL.
 (<a href="/software/repo-criteria.html#B2">B2</a>)</p>
 
 <p>Here are <a href="https://sanctum.geek.nz/why-not-github.html";>
-additional reasons to avoid GitHub</a>.</p>
+additional reasons to avoid github.com</a>.</p>
 
 
 <h3 id="sourceforge-net">sourceforge.net — F</h3>

Reply via email to