[PATCH v2 3/3] scripts: Support custom Git URLs in build-many-glibcs.py

[Joseph Myers]

On Wed, 26 Nov 2025, Yury Khrustalev wrote:

> On Wed, Nov 26, 2025 at 01:18:48PM +0000, Joseph Myers wrote:
> > On Wed, 26 Nov 2025, Yury Khrustalev wrote:
> > 
> > > If there is a need to do a clean checkout of sources, then I would just
> > > remove the folder and re-run the 'checkout' step again. Why do we need
> > > --replace-sources? It's rhetorical, since we already have it, we have
> > > to deal with the consequences of maintaining it, but I think it was a
> > > mistake to add it.
> > 
> > A bot is supposed to keep running automatically, even when the default 
> > versions / branches change.
> 
> Default is not changed in this version of the patch.

The point is that the default versions *do* change over time, as new 
versions of the components are released, and so --replace-sources is key 
functionality to keep using the script, both with bots and with long-lived 
checkouts, as such changes occur.

-- 
Joseph S. Myers
josmyers@redhat.com