On 10 February 2014 19:48, Andreas Färber <[email protected]> wrote: > Am 10.02.2014 20:43, schrieb Peter Maydell: >> On 10 February 2014 19:21, Andreas Färber <[email protected]> wrote: >>> Please remember to label the pull request [PULL 0/m] and to thread the >>> actual commits as [PULL n/m]. We had to adopt our scripts, too. >>> >>> Peter, please either enforce those rules or drop them for all of us! >> >> My workflow for applying pull requests doesn't technically >> require this or check for it, and so I'm not going to > [snip] > > Anthony said that his "patches" tool relies on the 0/x, and I thought > you were using the same...
I was, but since the patches db isn't currently updating I wrote a script which drives git directly and just wants the "repo-url branchname" bit from the cover letter (and I find the cover letters by textual search for the magic words that git puts in pull requests). thanks -- PMM
