<div dir="ltr">> 
I also don't think one should be allowed to approve their own<br>
> PR. If it is trivial enough to justify a self-accept then someone else<br><div>
> should also be able to trivially accept it. <br></div><div><br></div><div>I disagree whole heartedly, as someone who's had to wait weeks for trivial patches to get reviews no thanks.</div><div>We should have a  formal definition of what is allowed to get committed as trivial much like a lot of open source</div><div>projects do and go from there.</div><div><br></div><div>I prefer a practical workflow, not just one that works for areas of the compiler where you have many people working,</div><div>It's a very frustrating experience otherwise.</div><div><br></div><div>Tamar.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 23, 2019 at 9:29 AM 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">It seems that in order for marge-bot to work best we need to<br>
tighten up our policy towards merging so that it is only Marge<br>
who performs the merges. I think Marge gets confused if people<br>
push to master under her feet which means rebasing again and duplicating work.<br>
<br>
Can we disable the "Merge when pipeline succeeds button" in order to<br>
facilitate this?<br>
<br>
I also don't think one should be allowed to approve their own<br>
PR. If it is trivial enough to justify a self-accept then someone else<br>
should also be able to trivially accept it.<br>
<br>
Therefore I believe the correct workflow is:<br>
<br>
1. Make a MR and assign it to someone if you want their specific review.<br>
2. When the MR has been approved, the approver assigns the MR to marge.<br>
3. Marge then performs the merge in her own time.<br>
<br>
Cheers,<br>
<br>
Matt<br>
<br>
On Tue, Jan 22, 2019 at 8:31 PM Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>> wrote:<br>
><br>
> Hi everyone,<br>
><br>
> As you might have noticed there is a new face on GitLab: Meet<br>
> @marge-bot.<br>
><br>
> Marge will be helping us with the pain of merging merge requests:<br>
> Currently the typical workflow to merge an accepted MR involves the<br>
> following:<br>
><br>
>  1. Rebase the MR on top of the current `master` branch<br>
>  2. Click on the "Merge when pipeline succeeds" button<br>
>  3. Wait.<br>
>  4. If another MR is merged before yours, return to step (1)<br>
><br>
> Given the volume of patches that we have, this process gets tiresome<br>
> quite quickly. Upstream knows [1] about this issue and is actively<br>
> working towards a solution which will likely be ready in a few months.<br>
><br>
> In the meantime, Marge automates this currently-manual process. With<br>
> Marge merging a patch involves just two steps:<br>
><br>
>  1. Ensure that the MR has at least one approval. This should happen in<br>
>     the course of normal review but ping @bgamari, @alpmestan, @osa1, or<br>
>     @tdammers if this was forgotten.<br>
><br>
>  2. Use the "Assignee" field in the sidebar on the right side of the MR<br>
>     to assign it to @marge-bot.<br>
><br>
> Once Marge notices your MR she will dutifully watch over it, rebasing it<br>
> as necessary until it is merged. If something goes awry, she will leave<br>
> a (hopefully) helpful message and assign the MR back to you.<br>
><br>
> So far Marge has been working out reasonably well and seems to be an<br>
> improvement over the status quo. However, she still has some quirks so<br>
> let me know if you think she is behaving erratically or otherwise have<br>
> questions.<br>
><br>
> Cheers,<br>
><br>
> - Ben<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>
_______________________________________________<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>