From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 18 Oct 2017 00:57:15 GMT
Subject: Re: Fwd: Has git-gui repo moved from location?
Message-ID: <xmqqr2u1l1ck.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <CACjmu28WBUZMyivR-uvttMURSEtVuCUaYHdtT0mpv4LAffOd5g@mail.gmail.com>

Gilberto Stankiewicz <kiewic@gmail.com> 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 9418) ... 195.113.20.142 done.
From git://repo.or.cz/git-gui
 = [up to date]            master     -> git-gui/master
 = [up to date]            pu         -> git-gui/pu
 = [up to date]            todo       -> git-gui/todo

$ git fetch -v git://repo.or.cz/git-gui.git
Looking up repo.or.cz ... done.
Connecting to repo.or.cz (port 9418) ... 195.113.20.142 done.
From git://repo.or.cz/git-gui
 * branch                  HEAD       -> FETCH_HEAD