On 03/18/16 13:25, David Woodhouse wrote: > On Fri, 2016-03-18 at 13:18 +0100, Laszlo Ersek wrote: >> >> Thanks for the work. I'm willing to help you test these. >> >> I'm going to close the github pull requests now. > > Please don't. The point is to look at the workflow that the github PR > tickets allow, not to actually merge the code — which is why they both > explicitly state that they aren't to be merged.
Our workflow should not be centered on github pull requests in any case, so I don't see the point in testing them out. I perfectly agree that a workflow centered on pull requests that are sent to the mailing list should be tested out, and I'd like to work with you on that. I understand that the PRs you created on github explicitly stated they weren't to be merged. It doesn't matter. One misclick from an edk2 maintainer who happens to be paying a bit less attention, and poof, we have mess in the git history. I apologize for annoying you, but I've closed them right after sending my previous email. :( Laszlo _______________________________________________ edk2-devel mailing list [email protected] https://lists.01.org/mailman/listinfo/edk2-devel
