Great, thanks!

BTW you can add extra commits with follow up changes, then we'll squash them when we merge the pull. Rather than force pushing with a small change. Then an existing review stands and any new reviewer knows only the new commit(s) need particular scrutiny.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.