[QUESTION] Pushing patches.

[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 maint
 2. Apply the patch(es) with "git am":
     $ git am 0*.patch
 2a. (Run required tests, if any)
 3. Merge maint into master:
     $ git co master && git merge maint
 3a. (Run required tests, if any)
 4. Push the maint and master branches:
     $ push --dry-run origin master maint # and if all seems ok ...
     $ push origin master maint

Thanks,
   Stefano