I'd just make the changes, and push as a new patch. Once everything has settled down, you can compress all the patches into one and force push.
Simon On Tue, 8 Feb 2022 at 20:44, Norman Ramsey <n...@cs.tufts.edu> wrote: > I have an MR currently under review. Review has already identified a > change I need to make, and I have made it in my local repository. > Do I push the change now, or do I wait for a more complete review? > And if I push it now, do I force-push or do I push the changes as a > separate commit? > > > Norman > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
