MR titles

Richard Eisenberg rae at
Wed May 8 13:21:24 UTC 2019

Might I also suggest that we put a very brief summary of the area of GHC that the MR fixes in the title? With the way that GitLab puts numbers at the end of subject lines, it's harder to recognize tickets by number now. By including a few keywords in the MR title, I can find ones of interest more easily.

Regardless, putting the ticket number in the title should be a higher priority.


> On May 8, 2019, at 4:51 AM, Simon Peyton Jones via ghc-devs <ghc-devs at> wrote:
> Friends
> In this MR <>, Vlad includes the number of the ticket it fixes in the title of the MR.
> That is so helpful:
> It links the MR back to the issue
> And does so in large font (screen shot below)
> And the link is clickable, even in the title.
> I suggest we document this in our GHC-best-practice guide, and get everyone to do it.
> Would you agree
> Simon
> <image001.jpg>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at <mailto:ghc-devs at>
> <>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list