[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH]: domain names note
|
From: |
bill-auger |
|
Subject: |
Re: [PATCH]: domain names note |
|
Date: |
Mon, 28 Jun 2021 21:57:59 -0400 |
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. Would someone
> like to fix that?
the recent patches for github and gitlab include those name
changes - this patch covered the remaining (unchanged) entries
https://lists.gnu.org/archive/html/repo-criteria-discuss/2021-06/txt4tQJcfPVRe.txt
https://lists.gnu.org/archive/html/repo-criteria-discuss/2021-06/txts3ZLq0mDCb.txt