April 17, 2011
2:57 p.m.
On 17 Apr 2011, at 16:13, Marcus Denker wrote:
The problem is that we can just use the Google tracker, not change it. The tracker itself does not have even trivial support for grouping issues. And *nothing* to configure the mails it sends.
If you really care, do the following: - send all issues to some mail-bot, as I said, thats as simple as having a special user on some server, and a script to process incoming mail - preprocess the mails to your liking - send the processed/filtered mail to the mailing list. Best regards Stefan -- Stefan Marr Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 / B-1050 Brussels / Belgium http://soft.vub.ac.be/~smarr Phone: +32 2 629 2974 Fax: +32 2 629 3525