gcc git repository issue?

[Warlich, Christof]

Hi,

trying to update my gcc git repo gives the following error:

$ git fetch --prune --tags
error: Unable to get pack file https://gcc.gnu.org/git/gcc.git/objects/pack/pack-b63eee210a1a0c2aeac04d0708a32b9953e054d4.pack
The requested URL returned error: 416 Requested Range Not Satisfiable
error: Unable to find 7cd180898e5a92f5969849998a49760e02070df0 under https://gcc.gnu.org/git/gcc.git
Cannot obtain needed commit 7cd180898e5a92f5969849998a49760e02070df0
while processing commit fa6324b6d0b2927e93ccf7117214f72d3dcefcc9.
error: fetch failed.

My local clone looks perfectly fine, so I'm a bit at a loss as to why this happens:

$ git status
HEAD detached at gcc-6_3_0-release
nothing to commit, working tree clean

$ git remote -v
origin  https://gcc.gnu.org/git/gcc.git (fetch)
origin  https://gcc.gnu.org/git/gcc.git (push)

Furthermore, a fresh clone works without a hitch, and a colleague told me that he has also seen this issue particularly with the gcc repository, unfortunately without having a clue w.r.t. the root cause as well. Is there anyone out there having an idea what might be wrong or how to best debug the problem or may at least confirm the problem?

Thanks for any help,

Chris