25/09/2017 12:06, Ferruh Yigit: > On 9/25/2017 10:53 AM, Ferruh Yigit wrote: > > On 9/25/2017 10:40 AM, Bruce Richardson wrote: > >> On Mon, Sep 25, 2017 at 09:42:56AM +0100, Ferruh Yigit wrote: > >>> It is a little to late for this, I already sent a pull-request with this > >>> patch. So fix will need to be a separate patch. > >>> > >> Pull request hasn't actually been pulled yet, so you should be able to > >> supercede it by a later one, right? > > > > Technically yes, and easy to do, but it will be confusing. I was taking > > pull-request as code freeze in sub-tree. > > > > If there are multiple pull-request for a tree, how can one be sure which > > ones has been pulled and what to expect in main repo, and verify what > > has been merged? > > > > As above said, if Thomas thinks this is OK, I can send another pull request? > > What about Thomas doing the squash while applying to the main repo, so > that main repo won't be broken and there won't be multiple pull requests > around?
Yes, no need of sending a new pull request.