[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk repo missing
|
From: |
Jannick |
|
Subject: |
Re: [bug-gawk] gawk repo missing |
|
Date: |
Sat, 29 Jul 2017 15:50:05 +0200 |
On Sat, 29 Jul 2017 10:01:21 +0200, Jannick wrote:
> On Fri, 28 Jul 2017 22:01:01 -0700, jungle boogie wrote:
> > Is it just me or is the repo missing?
> >
> > % git clone https://git.savannah.gnu.org/gawk.git
> > Cloning into 'gawk'...
> > fatal: repository 'https://git.savannah.gnu.org/gawk.git/' not found
>
> As of now I cannot clone the repository from
> 'https://git.savannah.gnu.org/gawk.git/', too.
... but I just found out that git://git.sv.gnu.org/gawk.git works instead.
I got that from the general guidance site
http://savannah.gnu.org/maintenance/UsingGit/. The information on
http://savannah.gnu.org/git/?group=gawk appears to be a bit outdated though.
Best,
J.