On Fri, Jan 13, 2012 at 2:26 PM, Magnus Hagander <magnus@hagander.net> 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