Re: [Savannah-hackers-public] [bug-gawk] gawk repo missing

Hello, On Sun, Jul 30, 2017 at 01:13:11AM -0600, arn...@skeeve.com wrote: > > The correct URL is > > git clone https://git.savannah.gnu.org/r/gawk.git > > Notice the additional `/r' in the path. The page: ... > jungle boogie wrote: ... > > % git clone https://git.savannah.gnu.org/gawk.

Re: [Savannah-hackers-public] [bug-gawk] gawk repo missing

Hi. Thanks for the note. The correct URL is git clone https://git.savannah.gnu.org/r/gawk.git Notice the additional `/r' in the path. The page: http://savannah.gnu.org/git/?group=gawk is incorrect, and I will request that the Savannah folks fix it (cc'ed). Thanks, Arnold