That all sounds fine to me.  I guess it would need to be you who extracts the relevant changes into a new pull request - shall I create a ticket?