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

2017-07-30 Thread Ineiev
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.git
> > Cloning into 'gawk'...
> > fatal: repository 'https://git.savannah.gnu.org/gawk.git/' not found
> >
> > I found it under: http://savannah.gnu.org/git/?group=gawk

Thank you, I think we recently fixed this issue; currently that page
says,

git clone https://git.savannah.gnu.org/git/gawk.git

(note the additional 'git/' in the URL), and it seems to work
as well.


signature.asc
Description: Digital signature


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

2017-07-30 Thread arnold
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

jungle boogie  wrote:

> Hello All,
>
> 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
>
>
> I found it under: http://savannah.gnu.org/git/?group=gawk
>
> Getting a Copy of the Git Repository
> Anonymous clone:
>
> git clone https://git.savannah.gnu.org/gawk.git
>
> http://savannah.gnu.org/git/?group=gawk
>
> Thanks!