Thread: phppgadmin git feed broken on git mirror
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
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/
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
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/
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
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/
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