Re: [INFO] push + merge delayed

2010-08-08 Thread 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



[INFO] push + merge delayed

2010-08-08 Thread Stefano Lattarini
Hello Ralf.

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.

Regards,
  Stefano