Re: Fwd: Has git-gui repo moved from location?

2017-10-17 Thread Gilberto Stankiewicz
Weird, it was not working for me earlier today, but now it works. Thank you, Gilberto On Tue, Oct 17, 2017 at 5:57 PM, Junio C Hamano wrote: > Gilberto Stankiewicz writes: > >> I am trying to clone git://repo.or.cz/git-gui.git as described at >> https://github.com/git/git/blob/master/Documenta

Re: Fwd: Has git-gui repo moved from location?

2017-10-17 Thread Junio C Hamano
Gilberto Stankiewicz writes: > I am trying to clone git://repo.or.cz/git-gui.git as described at > https://github.com/git/git/blob/master/Documentation/SubmittingPatches > but it seems the repo does not exist. $ git fetch -v git-gui Looking up repo.or.cz ... done. Connecting to repo.or.cz (port

Fwd: Has git-gui repo moved from location?

2017-10-17 Thread Gilberto Stankiewicz
Hello, I am trying to clone git://repo.or.cz/git-gui.git as described at https://github.com/git/git/blob/master/Documentation/SubmittingPatches but it seems the repo does not exist. Has the repo changed from location? Thank you, Gilberto