[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>
- [gpsd-dev] 48-hour migration heads-up, Eric S. Raymond, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Sanjeev Gupta, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up,
Eric S. Raymond <=
- Re: [gpsd-dev] 48-hour migration heads-up, Fred Wright, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Kai Harrekilde-Petersen, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Gary E. Miller, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Kai Harrekilde-Petersen, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Fred Wright, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Chris Kuethe, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Eric S. Raymond, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Adam Serbinski, 2019/05/30
- Re: [gpsd-dev] 48-hour migration heads-up, Eric S. Raymond, 2019/05/30