Marge has been stabilised

Matthew Pickering matthewtpickering at
Tue Feb 12 15:51:25 UTC 2019

WIP merge requests have "WIP:" at the front of the title.

I have been marking MRs as WIP is they are not ready to merge to try
to keep track of things that need to be added to the merge queue or

This can be quickly toggled on/off by typing the /wip quick command in
a comment.



On Tue, Feb 12, 2019 at 3:44 PM Richard Eisenberg <rae at> wrote:
> Thanks for these instructions!
> On Feb 12, 2019, at 3:37 AM, Matthew Pickering <matthewtpickering at> wrote:
> 3. Make sure it is not marked as WIP
> What does this mean, precisely?
> Thanks,
> Richard

More information about the ghc-devs mailing list