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.