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

3 messages from 2017-10-17 to 2017-10-18. Participants: Gilberto Stankiewicz, Junio C Hamano.
Thread: https://gitlist.dev/t/46989

## Gilberto Stankiewicz, 2017-10-17 23:50

Subject: Fwd: Has git-gui repo moved from location?
Message-ID: <CACjmu28WBUZMyivR-uvttMURSEtVuCUaYHdtT0mpv4LAffOd5g@mail.gmail.com>
URL: https://gitlist.dev/e/CACjmu28WBUZMyivR-uvttMURSEtVuCUaYHdtT0mpv4LAffOd5g%40mail.gmail.com
In-Reply-To: <CACjmu29CV_0HgmNaBmNLn-J4ZdUx+jRgweNSibBsB2SOZBWWEg@mail.gmail.com>

```
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

```

## Junio C Hamano, 2017-10-18 00:57

Subject: Re: Fwd: Has git-gui repo moved from location?
Message-ID: <xmqqr2u1l1ck.fsf@gitster.mtv.corp.google.com>
URL: https://gitlist.dev/e/xmqqr2u1l1ck.fsf%40gitster.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


```

## Gilberto Stankiewicz, 2017-10-18 01:04

Subject: Re: Fwd: Has git-gui repo moved from location?
Message-ID: <CACjmu28kdmBpe+0nrwWnMWV4fUkZgm3yvJjxsYwj61kq9CegVA@mail.gmail.com>
URL: https://gitlist.dev/e/CACjmu28kdmBpe%2B0nrwWnMWV4fUkZgm3yvJjxsYwj61kq9CegVA%40mail.gmail.com
In-Reply-To: <xmqqr2u1l1ck.fsf@gitster.mtv.corp.google.com>

```
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
>

```