<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Terrific.  <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">We just need to add some guidance for contributors about when and how to use the new tag.   <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Where should that guidance live?  We have the <a href="https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing">Contributing to GHC wiki page</a>.  It in turn (not very prominently) points to <a href="https://gitlab.haskell.org/ghc/ghc/-/wikis/Contributing-a-Patch">Contributing a patch</a>.  Are these our primary pages?  If so, perhaps the latter is the one to edit?</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 23 Jun 2023 at 11:14, Matthew Pickering <<a href="mailto:matthewtpickering@gmail.com">matthewtpickering@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">We discussed this in the meeting on Tuesday.<br>
<br>
The conclusion was that<br>
<br>
* We now have a new label "Blocked on Review", which people can add to<br>
merge requests if they are blocked waiting for a review.<br>
* The "Reviewer Group" is taken to be the same as the "GHC Team" (see<br>
<a href="https://gitlab.haskell.org/ghc/ghc-hq/-/tree/main" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc-hq/-/tree/main</a>), hence people<br>
trusted to be part of the GHC team are expected to perform review as<br>
well.<br>
* We will take up some of the time on the Tuesday meeting by talking<br>
about merge requests which are blocked and assigning them to people<br>
for review.<br>
<br>
Cheers,<br>
<br>
Matt<br>
<br>
On Mon, Jun 19, 2023 at 10:03 PM Matthew Pickering<br>
<<a href="mailto:matthewtpickering@gmail.com" target="_blank">matthewtpickering@gmail.com</a>> wrote:<br>
><br>
> Hi all,<br>
><br>
> Recently there has been some discussion about better systems and<br>
> processes for keeping the flow of merge requests going smoothly<br>
> through the review process. It has become clear that we need to be a<br>
> bit more deliberate in handling merge requests in order to make sure<br>
> we can correctly triage, review and merge the many fantastic<br>
> contributions we get to GHC on a daily basis.<br>
><br>
> Therefore we are proposing to introduce a "GHC Reviewer Group" whose<br>
> members will share collective responsibility for ensuring that MRs<br>
> make their way smoothly from creation to merge.<br>
><br>
> The description of the role and responsibility for this group can be<br>
> read and commented on here:<br>
><br>
> <a href="https://docs.google.com/document/d/1FK9mryjC82DM6e5yxP7BOgu94As2bXccb55L8OrjPf4/edit?usp=sharing" rel="noreferrer" target="_blank">https://docs.google.com/document/d/1FK9mryjC82DM6e5yxP7BOgu94As2bXccb55L8OrjPf4/edit?usp=sharing</a><br>
><br>
> The motivation for this proposal is two-fold.<br>
><br>
> * Ensuring that MRs are reviewed and triaged in a timely manner.<br>
> * Documenting where the responsibility for MR reviewing<br>
><br>
> We welcome any discussion about this document and other ideas about<br>
> how to improve the systems in this regard.<br>
><br>
> Cheers,<br>
><br>
> Matt<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>