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

[Yury Khrustalev]

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.