(In reply to comment #7)
> Thank you for your work Michael but apparently this problem still exists. It
> happens to me every third or fourth time of running "apt-get update". And I
> always get the exact same error mentioning the exact same repo:
It looks like the problem hit us again this afternoon. I talked to the server
admins and they said it's fixed again and a more robust mechanism is implemented
to prevent it from happening in the future.
Cheers (and let me know if you still get issues now),
Michael
(In reply to comment #7)
> Thank you for your work Michael but apparently this problem still exists. It
> happens to me every third or fourth time of running "apt-get update". And I
> always get the exact same error mentioning the exact same repo:
It looks like the problem hit us again this afternoon. I talked to the server
admins and they said it's fixed again and a more robust mechanism is implemented
to prevent it from happening in the future.
Cheers (and let me know if you still get issues now),
Michael