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.