On March 6, 2019 4:23:37 AM EST, Simon Peyton Jones
wrote:
>| * Tickets will have notes added when they are mentioned by a commit
>| message. As we discussed earlier, messages won't include the
>commit
>| message text but rather only a reference to the referring commit
>SHA.
>|
On March 6, 2019 2:06:25 AM EST, Bryan Richter wrote:
>Ben wrote:
>> Unfortunately a mention of a ticket from a commit does not produce
>a notification email. This is in my opinion a rather serious issue that
>we will need to work around since it makes closing tickets after merge
>far
>more
anyway, to /include/ the commit message text.
(Matthew dissented.) Is that hard to do?
Simon
| -Original Message-
| From: Ben Gamari
| Sent: 06 March 2019 03:58
| To: Simon Peyton Jones ; Matthew Pickering
|
| Cc: ghc-devs@haskell.org
| Subject: RE: [GHC] #16348: GHC HEAD
Simon Peyton Jones via ghc-devs writes:
> Matthew, Ben
>
> I've just received 40-odd messages like this one. It looks as if Marge
> is now sending commit messages at Trac ticket messages, which is
> great. Will that happen after the move to GitLab.
>
> Also, is this sudden wave because a whole
March 2019 18:51
| Subject: Re: [GHC] #16348: GHC HEAD regression: tyConAppArgs
|
| #16348: GHC HEAD regression: tyConAppArgs
| -+-
| Reporter: RyanGlScott |Owner: (none)
| Type: bug