Hi Charles! On Di, 01 Mär 2016, Charles E Campbell wrote:
> Has this been a vim bugtracker issue? Yes, basically all mails from [email protected] are redirects from github and are mirrored to vim-dev. You can see it also in the subject which contains the repository in brackets ([vim]) and the issue number in parenthesis (#636). You should be able to use reply-to-all in your mailer or group-reply and reply back to the github tracker. The reply address looks like reply+\w\[email protected] It appears in the github tracker as from the user vim-ml. However, I think that message won't be redirected back to vim-dev. You would need to add vim-dev in that case. > The prior setup had some text that made that prominent in the message. I > just looked at the original > message; it says "Reply to this email directly or view it on GitHub". Well, we could add a github template file¹ which is prefilled with some information. Is there anything you would request to be shown there? I can prepare a patch for that. > Well, I don't see it on the bugtracker -- so I presume there is > yet-another-mailing-list? Should I be responding via that "view it on > GitHub" link somehow, as obviously "replay to this email directly" does > not work. What bugtracker have you been using? The current bugtracker is: https://github.com/vim/vim/issues/<id> and I always thought, the email notifications message make this pretty clear. ¹https://github.com/blog/2111-issue-and-pull-request-templates Mit freundlichen Grüßen Christian -- Es ist sinnlos zu sagen: Wir tun unser Bestes. Es muß dir gelingen, das zu tun, was erforderlich ist. -- Winston Spencer Churchill -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
