* Fwd: Has git-gui repo moved from location?
[not found] <CACjmu29CV_0HgmNaBmNLn-J4ZdUx+jRgweNSibBsB2SOZBWWEg@mail.gmail.com>
@ 2017-10-17 23:50 ` Gilberto Stankiewicz
2017-10-18 0:57 ` Junio C Hamano
0 siblings, 1 reply; 3+ messages in thread
From: Gilberto Stankiewicz @ 2017-10-17 23:50 UTC (permalink / raw)
To: git
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
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: Fwd: Has git-gui repo moved from location?
2017-10-17 23:50 ` Fwd: Has git-gui repo moved from location? Gilberto Stankiewicz
@ 2017-10-18 0:57 ` Junio C Hamano
2017-10-18 1:04 ` Gilberto Stankiewicz
0 siblings, 1 reply; 3+ messages in thread
From: Junio C Hamano @ 2017-10-18 0:57 UTC (permalink / raw)
To: Gilberto Stankiewicz; +Cc: git
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Fwd: Has git-gui repo moved from location?
2017-10-18 0:57 ` Junio C Hamano
@ 2017-10-18 1:04 ` Gilberto Stankiewicz
0 siblings, 0 replies; 3+ messages in thread
From: Gilberto Stankiewicz @ 2017-10-18 1:04 UTC (permalink / raw)
To: Junio C Hamano; +Cc: git
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 <gitster@pobox.com> wrote:
> 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
>
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2017-10-18 1:05 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
[not found] <CACjmu29CV_0HgmNaBmNLn-J4ZdUx+jRgweNSibBsB2SOZBWWEg@mail.gmail.com>
2017-10-17 23:50 ` Fwd: Has git-gui repo moved from location? Gilberto Stankiewicz
2017-10-18 0:57 ` Junio C Hamano
2017-10-18 1:04 ` Gilberto Stankiewicz
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).