From: Johannes Schindelin Date: Mon, 16 May 2016 13:35:33 GMT Subject: mail-patch-series.sh, was Re: [PATCH v7 0/3] Add support for sending additional HTTP headers (part 2) Message-ID: In-Reply-To: <34DE0A16-F0B2-4379-8E02-5235D34FDD76@gmail.com> Hi Lars, On Tue, 10 May 2016, Lars Schneider wrote: > > On 09 May 2016, at 08:18, Johannes Schindelin > > wrote: > > > > [...] > > > > Published-As: https://github.com/dscho/git/releases/tag/extra-http-headers-v7 > > Interdiff vs v6: > > Published-As and Interdiff are really neat. I assume you have some kind > of script to create all this? If yes, are you willing to share it? Thanks for prodding me. I had planned to clean up my script and make it public for a long time already, as I think that submitting code to the Git project is quite a little bit too tedious, even for old timers like me, in particular when compared to the ease of opening Pull Requests a la GitHub. So now I cleaned up my script a bit and published it here: https://github.com/dscho/mail-patch-series Ironically, I welcome Pull Requests for this script ;-) Ciao, Dscho