On Aug 26 2022, Javier Mora wrote: > Well, now I have a problem. If I do: > > git config url.'http://example.com/'.insteadOf 'http://example.org/' > git config url.'http://example.com/'.insteadOf 'http://example.net/' git config --add url.'http://example.com/'.insteadOf 'http://example.net/' -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."