On Fri, Jan 13, 2012 at 2:26 PM, Magnus Hagander <[email protected]> wrote:
> Just FWIW, I use a separate development repository as well. But I have > it added as a remote from the "commit repository", and thus just do a > "git merge --squash" instead of manually moving them with "patch". > > But I am very much a fan of keeping the repos separate for just that > reason - don't want to accidentally commit dev code. OK thanks. My patch foo seems occasionally faulty, but git merge --disaster is something I'm happy to avoid. I'll work on my hand grenade juggling skills before I do that. -- Simon Riggs http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services -- Sent via pgsql-committers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers
