No worries, I mostly wanted to link the two issues and point out (because a lot of people don't realize) that you can just force push your changes to the existing PR (even if you messed it up badly).
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.