Can they be sent from a different email address than the main. Gitlab+margebot are quite. Ahum, noisy.. and filtering based on message content has a potential for false positives. <div><br></div><div>Kind regards, </div><div>Tamar <br><br><div class="gmail_quote"><div dir="ltr">On Wed, Mar 6, 2019, 12:33 Matthew Pickering <<a href="mailto:matthewtpickering@gmail.com">matthewtpickering@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I think gitlab can be configured so notifications are sent for new issues and comments on issues which should achieve the same thing as the mailing list did?<div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 6, 2019 at 12:00 PM Sylvain Henry <<a href="mailto:sylvain@haskus.fr" target="_blank">sylvain@haskus.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I use it to track tickets and I would also like to see it continued.<br>
<br>
Sylvain<br>
<br>
On 06/03/2019 12:33, Ara Adkins wrote:<br>
> Personally I would like to see it continued, but it may not be worth the work if I’m in a minority here.<br>
><br>
> A potential stopgap would be to ‘watch’ the GHC project on our gitlab instance, but I can’t see any way to decide to get emails for notifications rather than having to check in at GitLab all the time.<br>
><br>
> _ara<br>
><br>
>> On 6 Mar 2019, at 11:21, Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>> wrote:<br>
>><br>
>><br>
>><br>
>>> On March 6, 2019 6:11:49 AM EST, Ara Adkins <<a href="mailto:me@ara.io" target="_blank">me@ara.io</a>> wrote:<br>
>>> Super excited for this! Thank you to everyone whose put in so much hard<br>
>>> work to get it done!<br>
>>><br>
>>> One question: what is happening with the trac tickets mailing list? I<br>
>>> imagine it’ll be going away, but for those of us that use it to keep<br>
>>> track of things is there a recommended alternative?<br>
>>><br>
>> The ghc-commits list will continue to work.<br>
>><br>
>> 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?<br>
>><br>
>> Cheers,<br>
>><br>
>> - Ben<br>
>><br>
>><br>
>><br>
>>> Best,<br>
>>> _ara<br>
>>><br>
>>>> On 6 Mar 2019, at 01:21, Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>> wrote:<br>
>>>><br>
>>>> Hi everyone,<br>
>>>><br>
>>>> Over the past few weeks we have been hard at work sorting out the<br>
>>>> last batch of issues in GHC's Trac-to-GitLab import [1]. At this<br>
>>> point I<br>
>>>> believe we have sorted out the issues which are necessary to perform<br>
>>> the<br>
>>>> final migration:<br>
>>>><br>
>>>> * We are missing only two tickets (#1436 and #2074 which will require<br>
>>> a<br>
>>>>   bit of manual intervention to import due to extremely large<br>
>>>>   description lengths)<br>
>>>><br>
>>>> * A variety of markup issues have been resolved<br>
>>>><br>
>>>> * More metadata is now preserved via labels. We may choose to<br>
>>>>   reorganize or eliminate some of these labels in time but it's<br>
>>> easier<br>
>>>>   to remove metadata after import than it is to reintroduce it. The<br>
>>>>   logic which maps Trac metadata to GitLab labels can be found here<br>
>>> [2]<br>
>>>> * We now generate a Wiki table of contents [3] which is significantly<br>
>>>>   more readable than GitLab's default page list. This will be updated<br>
>>>>   by a cron job until underlying GitLab pages list becomes more<br>
>>>>   readable.<br>
>>>><br>
>>>> * We now generate redirects for Trac ticket and Wiki links (although<br>
>>>>   this isn't visible in the staging instance)<br>
>>>><br>
>>>> * Milestones are now properly closed when closed in Trac<br>
>>>><br>
>>>> * Mapping between Trac and GitLab usernames is now a bit more robust<br>
>>>><br>
>>>> As in previous test imports, we would appreciate it if you could have<br>
>>> a<br>
>>>> look over the import and let us know of any problems your encounter.<br>
>>>><br>
>>>> If no serious issues are identified with the staging site we plan to<br>
>>>> proceed with the migration this coming weekend. The current migration<br>
>>>> plan is to perform the final import on <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a> on<br>
>>> Saturday, 9<br>
>>>> March 2019.<br>
>>>><br>
>>>> This will involve both <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a> and <a href="http://ghc.haskell.org" rel="noreferrer" target="_blank">ghc.haskell.org</a> being<br>
>>> down<br>
>>>> for likely the entirety of the day Saturday and likely some of Sunday<br>
>>>> (EST time zone). Read-only access will be available to<br>
>>>> <a href="http://gitlab.staging.haskell.org" rel="noreferrer" target="_blank">gitlab.staging.haskell.org</a> for ticket lookup while the import is<br>
>>>> underway.<br>
>>>><br>
>>>> After the import we will wait at least a week or so before we begin<br>
>>> the<br>
>>>> process of decommissioning Trac, which will be kept in read-only mode<br>
>>>> for the duration.<br>
>>>><br>
>>>> Do let me know if the 9 March timing is problematic.<br>
>>>><br>
>>>> Cheers,<br>
>>>><br>
>>>> - Ben<br>
>>>><br>
>>>><br>
>>>> [1] <a href="https://gitlab.staging.haskell.org/ghc/ghc" rel="noreferrer" target="_blank">https://gitlab.staging.haskell.org/ghc/ghc</a><br>
>>>> [2]<br>
>>> <a href="https://github.com/bgamari/trac-to-remarkup/blob/master/TicketImport.hs#L227" rel="noreferrer" target="_blank">https://github.com/bgamari/trac-to-remarkup/blob/master/TicketImport.hs#L227</a><br>
>>>> [3] <a href="https://gitlab.staging.haskell.org/ghc/ghc/wikis/index" rel="noreferrer" target="_blank">https://gitlab.staging.haskell.org/ghc/ghc/wikis/index</a><br>
>>>> _______________________________________________<br>
>>>> Haskell-Cafe mailing list<br>
>>>> To (un)subscribe, modify options or view archives go to:<br>
>>>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
>>>> Only members subscribed via the mailman list are allowed to post.<br>
>> -- <br>
>> Sent from my Android device with K-9 Mail. Please excuse my brevity.<br>
> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div>