MR titles

Simon Peyton Jones simonpj at
Wed May 8 11:31:16 UTC 2019

This is part of our contributing guide at work

Do you have other advice from your contributing guide that we could learn from?


From: chessai . <chessai1996 at>
Sent: 08 May 2019 12:29
To: Simon Peyton Jones <simonpj at>
Cc: GHC developers <ghc-devs at>
Subject: Re: MR titles

I agree that this is the way to go. This is part of our contributing guide at work, for the reasons you mentioned. Additionally it helps avoid the need to read the MR's contents (comments/code) before going into it, since reading relevant tickets is almost always something you want to do.

On Wed, May 8, 2019, 4:51 AM Simon Peyton Jones via ghc-devs <ghc-devs at<mailto:ghc-devs at>> wrote:
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

[cid:image001.jpg at 01D50583.988DEB70]
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