Request for two new MR-labels: "review-needed" and "changes-required"
ben at well-typed.com
Fri Feb 7 21:32:16 UTC 2020
Andreas Klebinger <klebinger.andreas at gmx.at> writes:
> Hello devs,
> Recently in a MR discussion the topic came up of contributors being
> frustrated about lack of reviews.
> As a contributor and as a reviewer the lack of tools to find MR's in
> need of attention also frustrated me often.
> I suggest two new MR labels:
I believe we already have a solution to this problem, which is outlined
here . I have created the necessary labels however haven't updated
our contributor documentation to reflect the new workflow.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs