[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] gawk repo missing

From: jungle boogie
Subject: Re: [bug-gawk] gawk repo missing
Date: Sat, 29 Jul 2017 15:51:27 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]