Re: [QUESTION] Pushing patches.

2010-07-15 Thread Stefano Lattarini
At Thursday 15 July 2010, Ralf Wildenhues wrote: > Why not just send a bug report to bug-gnulib, since you already > have a reproducer? Good idea. Done. Regards, Stefano

Re: [QUESTION] Pushing patches.

2010-07-15 Thread Ralf Wildenhues
* Stefano Lattarini wrote on Thu, Jul 15, 2010 at 08:59:17PM CEST: > At Thursday 15 July 2010, Ralf Wildenhues wrote: > > * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST: > > Bruno prefers the former style, but maybe he accepts a patch to > > optionally keep the style of the latte

Re: [QUESTION] Pushing patches.

2010-07-15 Thread Stefano Lattarini
At Thursday 15 July 2010, Ralf Wildenhues wrote: > Hi Stefano, > > * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST: > [ git-merge-changelog ] > > > However, there is a problem w.r.t. the Automake policy of keeping > > multiple ChangeLog entries with same author and date lumped >

Re: [QUESTION] Pushing patches.

2010-07-15 Thread Ralf Wildenhues
Hi Stefano, * Stefano Lattarini wrote on Thu, Jul 15, 2010 at 12:26:57PM CEST: [ git-merge-changelog ] > However, there is a problem w.r.t. the Automake policy of keeping > multiple ChangeLog entries with same author and date lumped togheter. > In fact, git-merge-changelog seems to separate them

Re: [QUESTION] Pushing patches.

2010-07-15 Thread Stefano Lattarini
At Thursday 15 July 2010, Ralf Wildenhues wrote: > Hi Stefano, > > * Stefano Lattarini wrote on Wed, Jul 14, 2010 at 03:51:05PM CEST: > > Independently from the fact that you give or not your OK to this > > particular patch, I'd like to know if the following procedure is > > correct for the pushin

Re: [QUESTION] Pushing patches.

2010-07-14 Thread Ralf Wildenhues
Hi Stefano, * Stefano Lattarini wrote on Wed, Jul 14, 2010 at 03:51:05PM CEST: > Independently from the fact that you give or not your OK to this > particular patch, I'd like to know if the following procedure is > correct for the pushing of simple patches which should go into > both maint and mas

[QUESTION] Pushing patches.

2010-07-14 Thread Stefano Lattarini
Hello Ralf. Independently from the fact that you give or not your OK to this particular patch, I'd like to know if the following procedure is correct for the pushing of simple patches which should go into both maint and master: 1. Checkout the "maint" branch on my local repos: $ git co main