MR titles

Simon Peyton Jones simonpj at
Wed May 8 08:51:24 UTC 2019

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]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 14040 bytes
Desc: image001.jpg
URL: <>

More information about the ghc-devs mailing list