On Tue, Jun 12, 2018 at 02:01:31PM +0000, Warlich, Christof wrote: > $ git remote -v > origin https://gcc.gnu.org/git/gcc.git (fetch) > origin https://gcc.gnu.org/git/gcc.git (push) If you use git:// you won't see this problem. I don't know what causes it though. Maybe some misconfigured caching server, either somewhere in your network or on gcc.gnu.org? Segher
