Re: phppgadmin git feed broken on git mirror

On Tue, Apr 23, 2013 at 3:22 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> On Tue, Apr 23, 2013 at 7:20 PM, Robert Treat <rob(at)xzilla(dot)net> wrote:
>> On Tue, Apr 23, 2013 at 12:14 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
>>> On Tue, Apr 23, 2013 at 6:00 PM, Robert Treat <rob(at)xzilla(dot)net> wrote:
>>>> On Sat, Apr 20, 2013 at 12:27 PM, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
>>>>> On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob(at)xzilla(dot)net> wrote:
>>>>>> Howdy,
>>>>>>
>>>>>> It looks like the feed of phpPgAdmin is broken on
>>>>>> http://git.postgresql.org/gitweb/, can someone remove what's there and
>>>>>> do a fresh pull from git://github.com/phppgadmin/phppgadmin.git.
>>>>>> Thanks in advance,
>>>>>
>>>>> Done. And yes, it was complainign about non-fast-forward.
>>>>>
>>>>
>>>> Hmm, looking at
>>>> http://git.postgresql.org/gitweb/?p=phppgadmin.git;a=summary it still
>>>> looks out of date, which it is not when I do a fresh git clone
>>>> git://github.com/phppgadmin/phppgadmin.git.
>>>>
>>>> Did you do a pull above, you need to do a whole new clone. (I used the
>>>> word pull, so it seems you might have done what I said rather than
>>>> what I wanted ;-)
>>>
>>> So I'm guessing the fact that the repo is set up to clone from
>>> git://github.com/xzilla/phppgadmin.git is something that needs to be
>>> changed then? Or did are they supposed to be the same? Because that's
>>> the URL it's set up to work from...
>>>
>>
>> Oh, well yes. That's my personal repo, not the official one. The
>> official one is git://github.com/phppgadmin/phppgadmin.git. We should
>> pull from there and scrap the other one.
>
> Well, it's the one you guys originally asked to have mirrored :P
>

Yeah, that used to be our only git repo, but that was a long time back.

> Anyway, i've removed it again, and chaned it to pull from the official one.
>

Looks good now, thanks!

Robert Treat
play: xzilla.net
work: omniti.com