It is early days but my impression is that the move to git has triggered an increase in conversations that end up split between a GitHub PR and Bugzilla.
Personally, I'm not finding it unmanageable at this point but it does feel a little disorganized. I'm wondering if we need clearer guidelines about what to discuss where or do we need something else? What about a bigger change such as moving issue tracking to GitHub? Would that be beneficial? What do others think? Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org