Обсуждение: phppgadmin git feed broken on git mirror

Поиск
Список
Период
Сортировка

phppgadmin git feed broken on git mirror

От
Robert Treat
Дата:
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,

Robert Treat
conjecture: xzilla.net
consulting: omniti.com



Re: phppgadmin git feed broken on git mirror

От
Magnus Hagander
Дата:
On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob@xzilla.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.

--Magnus HaganderMe: http://www.hagander.net/Work: http://www.redpill-linpro.com/



Re: phppgadmin git feed broken on git mirror

От
Robert Treat
Дата:
On Sat, Apr 20, 2013 at 12:27 PM, Magnus Hagander <magnus@hagander.net> wrote:
> On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob@xzilla.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 ;-)


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



Re: phppgadmin git feed broken on git mirror

От
Magnus Hagander
Дата:
On Tue, Apr 23, 2013 at 6:00 PM, Robert Treat <rob@xzilla.net> wrote:
> On Sat, Apr 20, 2013 at 12:27 PM, Magnus Hagander <magnus@hagander.net> wrote:
>> On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob@xzilla.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...


--Magnus HaganderMe: http://www.hagander.net/Work: http://www.redpill-linpro.com/



Re: phppgadmin git feed broken on git mirror

От
Robert Treat
Дата:
On Tue, Apr 23, 2013 at 12:14 PM, Magnus Hagander <magnus@hagander.net> wrote:
> On Tue, Apr 23, 2013 at 6:00 PM, Robert Treat <rob@xzilla.net> wrote:
>> On Sat, Apr 20, 2013 at 12:27 PM, Magnus Hagander <magnus@hagander.net> wrote:
>>> On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob@xzilla.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.

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



Re: phppgadmin git feed broken on git mirror

От
Magnus Hagander
Дата:
On Tue, Apr 23, 2013 at 7:20 PM, Robert Treat <rob@xzilla.net> wrote:
> On Tue, Apr 23, 2013 at 12:14 PM, Magnus Hagander <magnus@hagander.net> wrote:
>> On Tue, Apr 23, 2013 at 6:00 PM, Robert Treat <rob@xzilla.net> wrote:
>>> On Sat, Apr 20, 2013 at 12:27 PM, Magnus Hagander <magnus@hagander.net> wrote:
>>>> On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob@xzilla.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

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


--Magnus HaganderMe: http://www.hagander.net/Work: http://www.redpill-linpro.com/



Re: phppgadmin git feed broken on git mirror

От
Robert Treat
Дата:
On Tue, Apr 23, 2013 at 3:22 PM, Magnus Hagander <magnus@hagander.net> wrote:
> On Tue, Apr 23, 2013 at 7:20 PM, Robert Treat <rob@xzilla.net> wrote:
>> On Tue, Apr 23, 2013 at 12:14 PM, Magnus Hagander <magnus@hagander.net> wrote:
>>> On Tue, Apr 23, 2013 at 6:00 PM, Robert Treat <rob@xzilla.net> wrote:
>>>> On Sat, Apr 20, 2013 at 12:27 PM, Magnus Hagander <magnus@hagander.net> wrote:
>>>>> On Fri, Apr 19, 2013 at 5:10 PM, Robert Treat <rob@xzilla.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