gpsd-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Eric S. Raymond
Subject: Re: [gpsd-dev] 48-hour migration heads-up
Date: Thu, 30 May 2019 14:48:46 -0400
User-agent: Mutt/1.10.1 (2018-07-13)

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.
-- 
                <a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>





reply via email to

[Prev in Thread] Current Thread [Next in Thread]