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

[Joseph Myers]

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.  That means it needs to automatically handle 
changes to versions, branches and repositories, which is what 
--replace-sources does.  This is desirable for manual testing as well, to 
avoid unnecessary load on the systems from which the script gets the 
sources from repeated downloads.

-- 
Joseph S. Myers
josmyers@redhat.com