Re: [gpsd-dev] 48-hour migration heads-up

[Adam Serbinski]

For what it's worth, the gitlab repo is working correctly for me now, both when signed in and not. I presume that something has been changed recently that fixed that?

On May 30, 2019 2:48:46 p.m. EDT, "Eric S. Raymond" <address@hidden> wrote:

Sanjeev Gupta <address@hidden>:
Eric, before you do this, and in case we cannot track down why guests
cannot see the repository, would it make sense to trash it, and create a
new one afresh?

That's always an optoon if flipping the mirror switch doesn't ubjam
whatever is jammed.

This doesn'rt smell like problem with the repo itself, though.
I think it's nore likely we've stumbled over a minor bug in a 
rarely-used part of Gitlab's web interface.