>On March 6, 2019 11:21:34 UTC, Ben Gamari wrote:
>>On March 6, 2019 6:11:49 AM EST, Ara Adkins wrote:>>*One question: what is
>>happening with the trac tickets mailing list? I
*>>*imagine it’ll be going away, but for those of us that use it to keep
*>>*track of things is there a recommended alte
On March 6, 2019 6:11:49 AM EST, Ara Adkins wrote:
>Super excited for this! Thank you to everyone whose put in so much hard
>work to get it done!
>
>One question: what is happening with the trac tickets mailing list? I
>imagine it’ll be going away, but for those of us that use it to keep
>track
On March 6, 2019 1:32:44 AM EST, "Ömer Sinan Ağacan"
wrote:
>This look great, thanks to everyone involved!
>
>Some feedback:
>
>- When I click to the "Wiki" link on the left it opens "Home" page and
>I don't
>know how to go to the index from there. I think we may want index to be
>the
> home p
This look great, thanks to everyone involved!
Some feedback:
- When I click to the "Wiki" link on the left it opens "Home" page and I don't
know how to go to the index from there. I think we may want index to be the
home page for the wiki?
- Redirects don't seem to work:
https://gitlab.sta
Hi everyone,
Over the past few weeks we have been hard at work sorting out the
last batch of issues in GHC's Trac-to-GitLab import [1]. At this point I
believe we have sorted out the issues which are necessary to perform the
final migration:
* We are missing only two tickets (#1436 and #2074 whi