Marge has been stabilised

Matthew Pickering matthewtpickering at gmail.com
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
not.

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

Cheers,

Matt

On Tue, Feb 12, 2019 at 3:44 PM Richard Eisenberg <rae at cs.brynmawr.edu> wrote:
>
> Thanks for these instructions!
>
> On Feb 12, 2019, at 3:37 AM, Matthew Pickering <matthewtpickering at gmail.com> 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