we actually tend to fix up such things by amending the commit and pushing with `-f`: github is smart enough to figure it all out, keeping the PR history and comments intact (yes, gh is truly awesome :-) )