On Mon, 31 Jan 2011, SF Markus Elfring wrote: > >> Hello, what is the current opinion of using github/issues so these > >> requests do > >> no get forgotten? > > I have no problem with people updating that. I put the information at the > > beginning of the changes.html file that is available with each release. > > Would you like to convert any entries from this file into topics for a issue > tracking interface? > > Is the system "https://github.com/coccinelle/coccinelle/issues"; the leading > and > preferred one now? > Is there any "competition" between the usability of Github's infrastructure > and > your mailing list?
It doesn't make any different. It is probably more useful that issues that other people might be interested in are posted to the mailing list, so people can comment on them or see what features are likely to be added in the future. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
