Re: [INFO] push + merge delayed

[Ralf Wildenhues]

* Stefano Lattarini wrote on Sun, Aug 08, 2010 at 07:17:49PM CEST:
> I just want state explicitly that I'll wait until tomorrow
> (or even the day after) to merge and push the patches we have
> reviewed this afternoon, since the time for today is almost out,
> and I don't want to do a push without proper testing.

Take as much time as you need, there is no hurry.  If origin/maint
has advanced since, and you want to avoid re-doing merges, just merge
it in rather than rebasing.  Let's use this git feature to our
advantage.

Cheers,
Ralf