ettiquette for changing an MR under review?

Norman Ramsey nr at cs.tufts.edu
Tue Feb 8 15:37:23 UTC 2022


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


More information about the ghc-devs mailing list