Re: [bug-gawk] gawk repo missing

[jungle boogie]

Thus said Jannick on Sat, 29 Jul 2017 15:50:05 +0200
On 07/29/2017 06:50 AM, Jannick wrote:
> 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.

Thanks, that does get me cloning that repo. I think this is a fairly 
recent change, as I cloned the previous url about a week and a half ago.

> Best,
> J.