I was hoping that there would be some indication of which branch the commit is on in the Trac message. Would you prefer that I again disable these notifications on the stable branches?
Unless there is a clear indication of which branch, it's just confusing so better disabled. In my view - others may want to chime in.
Simon
-----Original Message-----
From: Ben Gamari [mailto:ben@smart-cactus.org]
Sent: 25 August 2016 23:09
To: Simon Peyton Jones
ben is this a merge onto the 8.0 branch? On the ticket it just looks
like a duplicate merge, which is jolly odd. This didn't use to
happen...
Indeed, I enabled commit notifications on the stable branches earlier today in hopes that it would reduce the book-keeping costs associated with their maintenance. While it has been a bit easier, I was hoping that there would be some indication of which branch the commit is on in the Trac message. Would you prefer that I again disable these notifications on the stable branches? Cheers, - Ben