Just on a procedural note, you don't need to (and shouldn't) resubmit merge proposals when all you've done is change the set of commits that they include: just push more stuff to the same branch and leave a comment to say that you've addressed review feedback.
Just on a procedural note, you don't need to (and shouldn't) resubmit merge proposals when all you've done is change the set of commits that they include: just push more stuff to the same branch and leave a comment to say that you've addressed review feedback.
Otherwise, LGTM, thanks! I'll merge this.