On Wed, Jan 29, 2014 at 04:38:04PM +0000, Peter Maydell wrote: > On 28 January 2014 11:21, Michael S. Tsirkin <m...@redhat.com> wrote: > > Hi Peter, > > could you merge the below please? > > Thanks in advance! > > I'm still waiting for input from Anthony on how best to manage > pull request merging (workflow, command lines, etc). I've been > playing around with the 'patches' tool this afternoon and it hasn't > been being terribly cooperative... > > thanks > -- PMM
I think patches is for managing patches - isn't it? For merging git pull should be enough should it not? -- MST
