{"thread":{"id":"46989","subject":"Fwd: Has git-gui repo moved from location?","startedAt":"2017-10-17T23:51:54Z","lastAt":"2017-10-18T01:05:23Z","messageCount":3,"participants":["Gilberto Stankiewicz","Junio C Hamano"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"330581","messageId":"CACjmu28WBUZMyivR-uvttMURSEtVuCUaYHdtT0mpv4LAffOd5g@mail.gmail.com","threadId":"46989","inReplyTo":"CACjmu29CV_0HgmNaBmNLn-J4ZdUx+jRgweNSibBsB2SOZBWWEg@mail.gmail.com","subject":"Fwd: Has git-gui repo moved from location?","fromName":"Gilberto Stankiewicz","fromEmail":"kiewic@gmail.com","sentAt":"2017-10-17T23:50:36Z","receivedAt":"2017-10-17T23:51:54Z","isPatch":false,"sender":{"key":"kiewic@gmail.com","avatar":null},"body":"Hello,\n\nI am trying to clone git://repo.or.cz/git-gui.git as described at\nhttps://github.com/git/git/blob/master/Documentation/SubmittingPatches\nbut it seems the repo does not exist.\n\nHas the repo changed from location?\n\nThank you,\nGilberto\n"},{"id":"330585","messageId":"xmqqr2u1l1ck.fsf@gitster.mtv.corp.google.com","threadId":"46989","inReplyTo":"CACjmu28WBUZMyivR-uvttMURSEtVuCUaYHdtT0mpv4LAffOd5g@mail.gmail.com","subject":"Re: Fwd: Has git-gui repo moved from location?","fromName":"Junio C Hamano","fromEmail":"gitster@pobox.com","sentAt":"2017-10-18T00:57:15Z","receivedAt":"2017-10-18T00:57:26Z","isPatch":false,"sender":{"key":"gitster@pobox.com","avatar":"https://avatars.githubusercontent.com/u/54884?v=4"},"body":"Gilberto Stankiewicz <kiewic@gmail.com> writes:\n\n> I am trying to clone git://repo.or.cz/git-gui.git as described at\n> https://github.com/git/git/blob/master/Documentation/SubmittingPatches\n> but it seems the repo does not exist.\n\n$ git fetch -v git-gui\nLooking up repo.or.cz ... done.\nConnecting to repo.or.cz (port 9418) ... 195.113.20.142 done.\nFrom git://repo.or.cz/git-gui\n = [up to date]            master     -> git-gui/master\n = [up to date]            pu         -> git-gui/pu\n = [up to date]            todo       -> git-gui/todo\n\n$ git fetch -v git://repo.or.cz/git-gui.git\nLooking up repo.or.cz ... done.\nConnecting to repo.or.cz (port 9418) ... 195.113.20.142 done.\nFrom git://repo.or.cz/git-gui\n * branch                  HEAD       -> FETCH_HEAD\n\n"},{"id":"330588","messageId":"CACjmu28kdmBpe+0nrwWnMWV4fUkZgm3yvJjxsYwj61kq9CegVA@mail.gmail.com","threadId":"46989","inReplyTo":"xmqqr2u1l1ck.fsf@gitster.mtv.corp.google.com","subject":"Re: Fwd: Has git-gui repo moved from location?","fromName":"Gilberto Stankiewicz","fromEmail":"kiewic@gmail.com","sentAt":"2017-10-18T01:04:53Z","receivedAt":"2017-10-18T01:05:23Z","isPatch":false,"sender":{"key":"kiewic@gmail.com","avatar":null},"body":"Weird, it was not working for me earlier today, but now it works.\n\nThank you,\nGilberto\n\n\nOn Tue, Oct 17, 2017 at 5:57 PM, Junio C Hamano <gitster@pobox.com> wrote:\n> Gilberto Stankiewicz <kiewic@gmail.com> writes:\n>\n>> I am trying to clone git://repo.or.cz/git-gui.git as described at\n>> https://github.com/git/git/blob/master/Documentation/SubmittingPatches\n>> but it seems the repo does not exist.\n>\n> $ git fetch -v git-gui\n> Looking up repo.or.cz ... done.\n> Connecting to repo.or.cz (port 9418) ... 195.113.20.142 done.\n> From git://repo.or.cz/git-gui\n>  = [up to date]            master     -> git-gui/master\n>  = [up to date]            pu         -> git-gui/pu\n>  = [up to date]            todo       -> git-gui/todo\n>\n> $ git fetch -v git://repo.or.cz/git-gui.git\n> Looking up repo.or.cz ... done.\n> Connecting to repo.or.cz (port 9418) ... 195.113.20.142 done.\n> From git://repo.or.cz/git-gui\n>  * branch                  HEAD       -> FETCH_HEAD\n>\n"}]}