Marge has been stabilised
matthewtpickering at gmail.com
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 cs.brynmawr.edu> wrote:
> On Feb 12, 2019, at 10:51 AM, Matthew Pickering <matthewtpickering at gmail.com> 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?
More information about the ghc-devs