From: | Dave Page <dpage(at)pgadmin(dot)org> |
---|---|
To: | Guillaume Lelarge <guillaume(at)lelarge(dot)info> |
Cc: | pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>, Magnus Hagander <magnus(at)hagander(dot)net> |
Subject: | Re: Set statement timeout in the query tool |
Date: | 2009-12-07 09:41:09 |
Message-ID: | 937d27e10912070141j630adf4ei7970e28c80e12d90@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
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
(note that you should adjust the paths and name (pggit) as required,
and you may need to use the -t <branch> option to specify the branches
you want to push).
- Push the changes from the local repo to the pg git repo:
git push pggit
------
--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com
From | Date | Subject | |
---|---|---|---|
Next Message | svn | 2009-12-07 09:51:03 | SVN Commit by dpage: r8118 - in trunk/pgadmin3: branding i18n |
Previous Message | Dave Page | 2009-12-07 09:32:05 | Re: Use of wxColourPickerCtrl |