Marge has been stabilised

Simon Peyton Jones simonpj at
Wed Feb 13 09:38:42 UTC 2019

Interesting.  That page says (my emphasis)

Quick actions are textual shortcuts for common actions on issues, epics, merge requests, and commits that are usually done by clicking buttons or dropdowns in GitLab’s UI. You can enter these commands while creating a new issue or merge request, or in comments of issues, epics, merge requests, and commits. Each command should be on a separate line in order to be properly detected and executed. Once executed, the commands are removed from the text body and not visible to anyone else.

So this may be a useful shortcut, but it’s optional.

So that means that this “WIP” thing is part of GitLab’s semantic model.  The table says

/wip: Toggle the Work In Progress status

So it seems that

  *   Each MR has a WIP status
  *   There is some way in the UI to toggle it

Do you know what are the semantics of “WIP status”?  It’s not just the title!

I assume it is /not/ “WIP MRs aren’t merged” because no MR is merged until there are enough approvals /and/ the author clicks “please merge”.  Correct?

Sorry to be dim.  I’m a bit slow to catch up with GitLab.

I have a “Simon’s GitLab page” here

I use it to add notes on things I’ve learned.


| -----Original Message-----

| From: ghc-devs <ghc-devs-bounces at> On Behalf Of Matthew

| Pickering

| Sent: 12 February 2019 16:29

| To: Richard Eisenberg <rae at>

| Cc: GHC developers <ghc-devs at>

| Subject: Re: Marge has been stabilised


| 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:




| 2d7cd011db47%7C1%7C0%7C636855857693042801&sdata=ngK1tGiNd6ZLGMS34emZYv%<>

| 2B31dHS1nfUQ9StRSLXwcQ%3D&reserved=0<>


| Cheers,


| Matt


| On Tue, Feb 12, 2019 at 4:23 PM Richard Eisenberg <rae at<mailto:rae at>>

| wrote:

| >

| >

| >

| > On Feb 12, 2019, at 10:51 AM, Matthew Pickering

| <matthewtpickering at<mailto: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

| _______________________________________________

| ghc-devs mailing list

| ghc-devs at<mailto:ghc-devs at>



| devs&<>

| 1074201%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636855857693042801&amp<>

| ;sdata=ciA051iOt74WyZMrr9HulHik%2BG4la8YyF47sYnbqvzs%3D&reserved=0<>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list