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