On 22/10/20 19:24, Eric Blake wrote: > Does this proposal mean that pull requests would have to switch to > gitlab merge requests, or would there be a transition period where > submaintainers still send pull requests via whichever means desired > (mail or gitlab merge request), but the eventual committer repackages > that as a gitlab merge request before it is upstream?
No, all it means is that Peter would have to do "git push gitlab" instead of "git push origin" :) and likewise for qemu-web and openbios. I'm open to switching (later) to merge requests for qemu-web, but that's a different story. Paolo