repo-criteria-discuss
[Top][All Lists]
Advanced

[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 22:15:48 -0400

On Mon, 28 Jun 2021 21:57:59 -0400 bill-auger wrote:
> the recent patches for github and gitlab include those name
> changes - this patch covered the remaining (unchanged) entries

o/c, the domain name changes could be extracted from the github
and gitlab patches - that would make the changelog more focused
and informative; but those patches would still be
mutually-dependent on the precise order of application, to avoid
merge conflicts



reply via email to

[Prev in Thread] Current Thread [Next in Thread]