Marge has been stabilised

Matthew Pickering matthewtpickering at
Tue Feb 12 16:28:59 UTC 2019

Yes there are two others I use frequently.

/approve - Approves a Merge request
/assign - Assign a user

and I imagine I will use /label and /relabel frequently when we have labels.

It's also useful to know that the ! autocomplete for merge requests
can be filtered by name of MR. The user autocomplete @ can also be
filtered by a user's real name.

There is a full list here:



On Tue, Feb 12, 2019 at 4:23 PM Richard Eisenberg <rae at> wrote:
> On Feb 12, 2019, at 10:51 AM, Matthew Pickering <matthewtpickering at> wrote:
> This can be quickly toggled on/off by typing the /wip quick command in
> a comment.
> This is an interesting aside. I understand this to mean: If I make a comment (the same place that I would write a comment for humans) that consists solely of "/wip", then instead of posting anything to humans, the title of my MR changes, either adding "WIP: " or deleting that from the beginning.
> Are there other such pieces of magic? Is there a place they are listed?
> Thanks!
> Richard

More information about the ghc-devs mailing list