Hi, When we host our source codes on Github, we can use the `issues` pages to manage all the issues -- not only the bugs, but also new features that we want to implement. Then, when we submit a Pull Request, the PR can link a corresponding issue easily.
But, as Apache says "if it didn't happen on-list, it didn't happen.", I would like to know which type of discussions should appear in the mail list, and when to use Github's issue management (or JIRA) is better? By the way, I don't find any tool which can sync github's issues with mail list automatically. :( Best, ----------------------------------- Xiangdong Huang School of Software, Tsinghua University 黄向东 清华大学 软件学院
