From: | Magnus Hagander <magnus(at)hagander(dot)net> |
---|---|
To: | Dave Page <dpage(at)pgadmin(dot)org> |
Cc: | Guillaume Lelarge <guillaume(at)lelarge(dot)info>, pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
Subject: | Re: Set statement timeout in the query tool |
Date: | 2009-12-08 19:27:57 |
Message-ID: | 9837222c0912081127q367aedb2q2d622c57e302fed1@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
2009/12/7 Dave Page <dpage(at)pgadmin(dot)org>:
> On Sat, Dec 5, 2009 at 9:02 PM, Guillaume Lelarge
> <guillaume(at)lelarge(dot)info> wrote:
>> Le vendredi 4 décembre 2009 à 18:44:29, Dave Page a écrit :
>>> On Fri, Dec 4, 2009 at 5:38 PM, Guillaume Lelarge
>>>
>>> <guillaume(at)lelarge(dot)info> wrote:
>>> > We should probably drop this patch. I'll keep it in its git branch,
>>> > because I love the git branches and I hate losing something I wrote.
>>> >
>>> :-)
>>>
>>> Perhaps you should publish your git tree (or select branches from it)
>>> to git.postgresql.org?
>>>
>>
>> Sure, but I have no idea how to do this. Anyone care to explain?
>
> Not 100% sure myself, but I've used something like:
>
> ------
> - Setup a local repo:
>
> git svn clone svn://svn.pgadmin.org/trunk/pgadmin3 PGADMIN-TRUNK
> cd PGADMIN-TRUNK
> git svn rebase
>
> - Add the public repo as a remote repository - something like:
>
> git remote add pggit git://git.postgresql.org/git/users/gleu/pgadmin.git
That needs to be ssh:// instead of git:// if you want to be able to
push to it. We don't support push over the git:// protocol.
--
Magnus Hagander
Me: http://www.hagander.net/
Work: http://www.redpill-linpro.com/
From | Date | Subject | |
---|---|---|---|
Next Message | Guillaume Lelarge | 2009-12-08 20:10:00 | Re: Set statement timeout in the query tool |
Previous Message | Magnus Hagander | 2009-12-08 19:27:13 | Re: Set statement timeout in the query tool |