Re: Unable to git clone ports collection

From: Jonathan Adams <jfadams1963_at_proton.me>
Date: Wed, 31 Jan 2024 19:30:55 UTC 
On Wednesday, January 31st, 2024 at 2:48 AM, Dave Cottlehuber <dch@skunkwerks.at> wrote:

> On Wed, 31 Jan 2024, at 06:15, Paul M Foster wrote:
> 

> > git clone -v https://git.freebsd.org/ports.git /usr/ports

> So I'm guessing either temporary glitch, or your local mirror
> isn't happy?

> NB I think the internal git url is https://cgit.freebsd.org/ports.git (at least I
> need that to commit & push my changes back via ssh), but the one you used seems
> entirely legit to me.

Hi Dave, hi Paul,
  Just wanted to confirm that the URL Paul originally tried is OK from the Eastern US; entirely legit. Paul, are things working yet for you?

- Jonathan
____________________________________________
"Before Turing, things were done to numbers.
After Turing, numbers began doing things"
- George Dyson