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?
Once we start using it, there will have been work done, and a sunk cost. Trashing now would be cheaper.
On Thu, 30 May 2019, 11:39 PM Eric S. Raymond, <address@hidden> wrote:
In 48 hours I will turn off the mirror bit on the GPSD repository at
GitLab and it will become the official public repository. I'll mail
e heads-up when that happens.
I still don't understand why the mirror is now behaving like a private
repository, but all our core devs can now see it so I won't worry too
hard unless the weirdness continues after I turn off mirroring.
When that's done, I'll get to work on the CI stuff to auto-update the
website on push. Migration of issues will happen eventually but is
not urgent.
--
<a href="" href="http://www.catb.org/~esr/" rel="noreferrer noreferrer" target="_blank">http://www.catb.org/~esr/">Eric S. Raymond</a>
When only cops have guns, it's called a "police state".
-- Claire Wolfe, "101 Things To Do Until The Revolution"