Merge request merge timing
ben at well-typed.com
Tue Dec 21 17:23:51 UTC 2021
Recently there have been a few instances where merge requests were
merged extremely quickly (e.g. within an hour of the MR being opened).
While prompt review is a good thing, we also want to make sure that all
potentially interested reviewers have an opportunity to comment.
In this vein, I propose that we wait at least 24 hours from the time an
MR is opened before sending it to Marge. I have documented this to the
merge-request review guidelines on the Wiki .
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs