<div dir="auto">>On March 6, 2019 11:21:34 UTC, Ben Gamari wrote:</div><div dir="auto"><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">>>On March 6, 2019 6:11:49 AM EST, Ara Adkins wrote:
<i>
</i>>><i>One question: what is happening with the trac tickets mailing list? I
</i>>><i>imagine it’ll be going away, but for those of us that use it to keep
</i>>><i>track of things is there a recommended alternative? 
</i>>></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">Yes I look at that as a way to keep a finger lightly on the pulse - chiefly for what users think ghc should be doing.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">>The ghc-commits list will continue to work.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">But that's only fixes, not explanations.

>The ghc-tickets list is a good question. I suspect that under gitlab there will be less need for this list but we may still want to continue maintaining it regardless for continuity's sake. Thoughts? </pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">The gitlab issues list can be sorted by latest update, which should be roughly equiv. But it's showing weird stuff at the moment. (Like decades-old closed tickets with activity 1 day ago.) I guess that's a 'feature' of the migration(?)</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">AntC

<br></pre></div>